Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add --no-search flag to spago docs #400

Merged
merged 3 commits into from
Sep 6, 2019
Merged

Conversation

klntsky
Copy link
Collaborator

@klntsky klntsky commented Sep 2, 2019

Perhaps we'll want to be able to use a newer version of docs-search in starsuit without cutting a new spago release. Other users may find it useful too, if they don't want to pay their build time for a feature they may not need.

@f-f
Copy link
Member

f-f commented Sep 2, 2019

@klntsky CI is failing because of my spago login patch from last week, I'll take a look..

@f-f f-f mentioned this pull request Sep 6, 2019
@klntsky klntsky merged commit 27a6694 into purescript:master Sep 6, 2019
@klntsky klntsky deleted the no-search branch September 6, 2019 22:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants