Cache nix builds in CI to cachix#34

juliankuners wants to merge 4 commits intomasterruntimeverification/skribe:masterfrom

nix-cachix-in-ciruntimeverification/skribe:nix-cachix-in-ciCopy head branch name to clipboard