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

Upgrade to PureScript 0.14.9 (from 0.14.7) #44

Merged
merged 1 commit into from
Mar 14, 2023

Conversation

emiel
Copy link
Contributor

@emiel emiel commented Mar 14, 2023

  • Upgrade to 0.14.9 to resolve libtinfo issue.

  • Note that there is no package set for 0.14.9.

- Upgrade to 0.14.9 to resolve libtinfo issue.

- Note that there is no package set for 0.14.9.
@emiel emiel requested a review from a team as a code owner March 14, 2023 12:22
@github-actions
Copy link

Hello. Thanks for opening a PR on Exercism. We are currently in a phase of our journey where we have paused community contributions to allow us to take a breather and redesign our community model. You can learn more in this blog post. As such, all issues and PRs in this repository are being automatically closed.

That doesn't mean we're not interested in your ideas, or that if you're stuck on something we don't want to help. The best place to discuss things is with our community on the Exercism Community Forum. You can use this link to copy this into a new topic there.


Note: If this PR has been pre-approved, please link back to this PR on the forum thread and a maintainer or staff member will reopen it.

@github-actions github-actions bot closed this Mar 14, 2023
@ErikSchierboom ErikSchierboom merged commit 9bcc55a into exercism:main Mar 14, 2023
@ErikSchierboom
Copy link
Member

Thanks!

@iHiD
Copy link
Member

iHiD commented Jun 6, 2023

Purescript now seems to constantly time out. Could this PR be the cause?

@emiel
Copy link
Contributor Author

emiel commented Jun 13, 2023

Purescript now seems to constantly time out. Could this PR be the cause?

Is this still the case? I'm not really active here anymore but could have a look if it is a pressing issue.

@emiel emiel deleted the purs-0.14.9 branch September 13, 2023 20:17
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.

3 participants