on edd1d21 help sign in
all commits
701c83fUpdate nixpkgs pins to include 20.03 (#557)Michael Peyton Jones 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