Skip to content

v0.3.0: Automatically publish documentation on pursuit (#6)

Compare
Choose a tag to compare
@fehrenbach fehrenbach released this 26 Nov 15:47
· 16 commits to master since this release
67251cc
This requires a `GITHUB_TOKEN` environment variable to be set (in travis). This token was obtained by following the instructions printed by `purs login`.

`sudo: required` makes stuff *a lot* faster. We don't actually require sudo.