Skip to content

Pin nixpkgs revision in the CI#31

Merged
Profpatsch merged 2 commits intomasterfrom pin-nixpkgsSep 27, 2018

Commits

Commits on Sep 20, 2018

Commits on Sep 25, 2018