break

Inria-Prosecco · Nov 13, 2024 · 96b6efe · 96b6efe
1 parent a76efad
commit 96b6efe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -26,7 +26,7 @@ jobs:
     steps:
       - name: checkout
         uses: actions/checkout@v4
-      - run: nix build -L --no-link ".#ml-kem"
+      - run: false
   bertie:
     runs-on: [self-hosted, linux, nix]
     steps: