-
Notifications
You must be signed in to change notification settings - Fork 51
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
Migrate to GitHub Actions #177
Conversation
I've removed the
Either way, we won't be able to use the https://github.com/purescript/purescript-lists/runs/1490231947 |
This reverts commit 359d415.
I've re-added the instances to comply with the discussion in purescript/purescript-control#62. We'll have to take an additional step to get CI working with this warning. |
Backlinking to purescript/purescript#3962 |
CI passes due to censoring user-defined warnings. Backlinking to #176. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks!
This PR migrates lists to use GitHub Actions instead of Travis for CI, as discussed in semirings#17. It also updates the installation instructions to refer to Spago instead of Bower.