added cachix guilherme

guilhermehas · Jul 21, 2022 · 0ab2ed8 · 0ab2ed8
1 parent bda4503
commit 0ab2ed8
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -15,6 +15,9 @@ jobs:
             experimental-features = nix-command flakes
             substituters = https://cache.nixos.org/ https://hydra.iohk.io https://guilherme.cachix.org
             trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ= guilherme.cachix.org-1:gCM9KYeDP7G+CaCHc8mWETo41u0XBac56D2OrTtJ2ZQ=' > ~/.config/nix/nix.conf
+      - uses: cachix/cachix-action@v8
+        with:
+          name: guilherme
       - name: Build
         run:  nix build -v --print-build-logs
       - uses: peaceiris/actions-gh-pages@v3

diff --git a/flake.nix b/flake.nix
@@ -31,7 +31,7 @@
             standard-library = prev.agdaPackages.standard-library.overrideAttrs (_: {src = stdlib-src;});
           };
           blogToolProject = prev.haskellPackages.callPackage ./cabal.nix {};
-          agda-all = prev.agda.withPackages (with agdaNewPackages; [ cubical standard-library ]);
+          agda-all = prev.agda.withPackages (with agdaNewPackages; p: [ cubical standard-library ]);
           blogProject = with prev; stdenv.mkDerivation {
             name = "guilherme-blog";
             src = my-src;