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.

Sign up for GitHub

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

Jump to bottom

Fix ormolu script. #1142

Merged

mheinzel merged 1 commit into develop from fisx/fix-ormolu-script

Jun 23, 2020

Contributor

fisx commented Jun 23, 2020

actually fail if ormolu version check fails.


          Fix ormolu script.

6ce139a

Contributor Author

fisx commented Jun 23, 2020

if you approve this, please merge right away.

mheinzel approved these changes

View reviewed changes

mheinzel merged commit 4878a7e into develop

mheinzel deleted the fisx/fix-ormolu-script branch

June 23, 2020 20:26

fisx mentioned this pull request

Release 2020/07/13 #1164

Merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment