verify on self-hosted

cryspen · Jan 25, 2025 · 2d87e10 · 2d87e10
1 parent 3abb4c0
commit 2d87e10
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/hax.yml b/.github/workflows/hax.yml
@@ -81,11 +81,10 @@ jobs:
         run: ./hax.py prove --admit
 
   mlkem-verify:
-    runs-on: ubuntu-latest
+    runs-on: self-hosted
     needs:
       - mlkem-extract
       - mlkem-diff
-      - mlkem-lax
 
     steps:
       - uses: actions/checkout@v4