deploy nix: towards GITHUB_ENV s2

formosa-crypto · Apr 11, 2024 · 4f464f4 · 4f464f4
1 parent a13f89f
commit 4f464f4
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/amd64-linux-main.yml b/.github/workflows/amd64-linux-main.yml
@@ -143,8 +143,9 @@ jobs:
       - name: enter nix shell
         run: |
           nix --experimental-features 'nix-command flakes' develop '.#easycrypt'
-          echo "$EASYCRYPT"
-          echo "$ECARGS"
+          echo "easycrypt:$EASYCRYPT"
+          echo "ecargs:$ECARGS"
+          env
 
       - name: extract and check
         run: make -j$JOBS -C proof/ CI=1 check-extracted