Join GitHub today
Deploy binaries to GitHub Releases #181
Sorry for not asking first. Feel free to close this PR if you'd prefer not to have it. If you have changes you'd like, let me know!
What this does
It's basically the same as the stuff from
This should build on OSX as well as Linux.
What you need to do to make things work
This uses a personal access token to allow Travis to create Releases and upload artifacts.
You need to:
After that, any tag you push should create a GitHub Release.
Nov 21, 2017
1 check passed
Looks like the OSX build timed out as it was about to deploy: https://travis-ci.org/dhall-lang/dhall-haskell/jobs/305034959#L6892.
But it also looks like it built a cache and uploaded it before then: https://travis-ci.org/dhall-lang/dhall-haskell/jobs/305034959#L6835-L6843
Maybe a restart would finish under the time limit?