[RFC 0056] CI all Nix PRs#56

Closed

Ericson2314 wants to merge 5 commits intoNixOS:masterfrom

Ericson2314:ci-all-nix-prs

Commits on Oct 31, 2019

Commits on Nov 12, 2019

ci-all-nix-prs: Clean up
Ericson2314
committed

Commits on Nov 17, 2019