test nix-shell action

formosa-crypto · Apr 15, 2024 · 39370ff · 39370ff
1 parent 9ec6523
commit 39370ff
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/.github/workflows/amd64-linux-main.yml b/.github/workflows/amd64-linux-main.yml
@@ -50,8 +50,14 @@ jobs:
       - name: enter nix shell
         run: nix --experimental-features 'nix-command flakes' develop
 
-      - name: compile and run
-        run: make -j$JOBS -C test/ CI=1 default
+      - name: enter nix shell
+        uses: workflow/nix-shell-action@v3
+        with:
+          flake: .#easycrypt
+          script: |
+            # compile and run
+            make -j$JOBS -C test/ CI=1 default
+
       - name: print logs
         run: make -C test/ CI=1 reporter
       - name: return error if there are any errors