Skip to content

Update to purs 0.13.4 - #469

Merged
f-f merged 5 commits into
masterfrom
updates
Oct 25, 2019
Merged

f-f merged 5 commits into
masterfrom
updates

Conversation

@justinwoo

@justinwoo justinwoo commented Oct 25, 2019 •

Copy link
Copy Markdown
Contributor

Description of the change

at the very least, this will have to be done

Checklist:

  • Added the change to the "Unreleased" section of the changelog
  • Added some example of the new feature to the README
  • Added a test for the contribution (if applicable)

P.S.: the above checks are not compulsory to get a change merged, so you may skip them. However, taking care of them will result in less work for the maintainers and will be much appreciated 😊

@justinwoo

Copy link
Copy Markdown
Contributor Author

someone remind me of this later

@f-f f-f changed the title update to purs 0.13.4 Update to purs 0.13.4 Oct 25, 2019
@f-f

f-f commented Oct 25, 2019

Copy link
Copy Markdown
Member

It looks like CI for macOS is blocked by purescript/purescript#3743

@f-f

f-f commented Oct 25, 2019 •

Copy link
Copy Markdown
Member

I just commented the failing tests so that we can merge this

@f-f
f-f merged commit 261f34c into master Oct 25, 2019
@f-f
f-f deleted the updates branch October 25, 2019 23:07
Benjmhart pushed a commit to Benjmhart/spago that referenced this pull request Oct 27, 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.

2 participants