Skip to content

Bump version to 0.12 #126

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

Merged
merged 7 commits into from
Feb 25, 2019
Merged

Bump version to 0.12 #126

merged 7 commits into from
Feb 25, 2019

Conversation

natefaubion
Copy link
Contributor

No description provided.

@natefaubion
Copy link
Contributor Author

I don't fully understand this failure. It appears to build/install fine locally with these constraints. Any ideas?

@natefaubion
Copy link
Contributor Author

Exit code 137 appears to be because it was kill -9ed, usually for using too many resources.

@natefaubion
Copy link
Contributor Author

I think core is the only backend that is buildable. Is there anything I should do on the API side to disable the others? Or is that purely a github-pages thing?

@paf31
Copy link
Contributor

paf31 commented Nov 10, 2018

In the interests of getting this released, I think we should focus only on the core package set. It's a change in the client code.

@natefaubion
Copy link
Contributor Author

I've verified that the package-set for core installs and the TryPureScript module compiles. Is there anything else for the main branch before venturing into gh-pages?

@natefaubion
Copy link
Contributor Author

I've updated this to 0.12.1

@martyall
Copy link

What's the status with this and #127, are we able to get a working release with 0.12.1 sometime soon?

@hdgarrood
Copy link
Collaborator

I suspect the failure is due to there not being any output for too long leading to Travis terminating the build. I'd argue that the best thing to do for now is just to ignore the CI failure.

@natefaubion
Copy link
Contributor Author

I've made updates for 0.12.3.

@hdgarrood hdgarrood merged commit e463743 into purescript:master Feb 25, 2019
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.

4 participants