Skip to content

Conversation

rahulmutt
Copy link
Contributor

This PR will resolve #1788 as soon as the snarky submodule is bumped. I haven't bumped it in this PR because it requires a lot more work. snarky master uses upgraded dependencies so using it causes the overall build to fail.

Checklist:

  • Tests were added for the new behavior
  • All tests pass (CI will check this if you didn't)
  • Serialized types are in stable-versioned modules
  • Does this close issues? Kinda. openmp not enabled on mac builds #1788

Sorry, something went wrong.

@rahulmutt rahulmutt mentioned this pull request Apr 17, 2019
@jkrauska jkrauska requested review from mrmr1993 and emberian April 18, 2019 04:58

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
@jkrauska jkrauska added the ready-to-merge Adding this label will trigger mergify and trigger CI to run and merge the PR label Apr 19, 2019
@mergify mergify bot merged commit c9c1f6c into MinaProtocol:master Apr 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ready-to-merge Adding this label will trigger mergify and trigger CI to run and merge the PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

openmp not enabled on mac builds
3 participants