From 4f464f4b8e1d4c6c7bb9db43be55850d703d0154 Mon Sep 17 00:00:00 2001
From: Tiago Oliveira <tiago.oliveira@sandboxquantum.com>
Date: Thu, 11 Apr 2024 12:11:10 +0100
Subject: [PATCH] deploy nix: towards GITHUB_ENV s2

---
 .github/workflows/amd64-linux-main.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/amd64-linux-main.yml b/.github/workflows/amd64-linux-main.yml
index 28d4e556..f4b3cbf3 100644
--- 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