Make ci worth it

alexarice · Jul 29, 2024 · 281b644 · 281b644
1 parent 83d9892
commit 281b644
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/populate.yml b/.github/workflows/populate.yml
@@ -14,4 +14,4 @@ jobs:
         name: all-agda
         # If you chose API tokens for write access OR if you have a private cache
         authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
-    - run: nix build .#agdaPackages-2_6_4.all
+    - run: nix build .#agdaPackages-2_6_4.all --print-build-logs