admit

FStarLang · Sep 5, 2024 · 0e8488e · 0e8488e
1 parent aeef4f3
commit 0e8488e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: