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: