diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 729b02f..a036512 100644
--- 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: