From 2d87e107bdc15c599a8a80870d9ce388ce763e1f Mon Sep 17 00:00:00 2001
From: Franziskus Kiefer <franziskuskiefer@gmail.com>
Date: Fri, 24 Jan 2025 19:51:55 +0100
Subject: [PATCH] verify on self-hosted

---
 .github/workflows/hax.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/hax.yml b/.github/workflows/hax.yml
index 934187b57..d99d590e9 100644
--- 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