From 0e8488ed3d06f87e4cd0a0a139acf3999822445e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Wed, 4 Sep 2024 21:37:35 -0700
Subject: [PATCH] admit

---
 .github/workflows/check-world.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/check-world.yml b/.github/workflows/check-world.yml
index 0db45eff507..34b5aef0572 100644
--- a/.github/workflows/check-world.yml
+++ b/.github/workflows/check-world.yml
@@ -33,7 +33,7 @@ jobs:
           # This will most likely fail to like krml below, what's going on?
           # opam install --confirm-level=unsafe-yes --deps-only ./FStar/fstar.opam
       - name: Build
-        run: make -C FStar -skj$(nproc)
+        run: make -C FStar -skj$(nproc) ADMIT=1
 
       - uses: mtzguido/gci-upload@master
         with: