on 2a03328 help sign in
all commits
64700aeCI: share between ci.nix and release.nix (#504)Michael Peyton Jones 62984c9docs: Remove build directory paths from generated text (#184)Rodney Lorrimar e15f235More documentation (#179)Rodney Lorrimar 83dba93Fix docs buildRodney Lorrimar 8e141afAutomatically update gh-pages branch when docs change (#159)Rodney Lorrimar