tweak

FStarLang · Sep 5, 2024 · 88de59b · 88de59b
1 parent 780cdbd
commit 88de59b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/check-world.yml b/.github/workflows/check-world.yml
@@ -99,7 +99,6 @@ jobs:
     container: mtzguido/fstar-base-testing
     needs:
       - build-fstar
-      - build-krml
     steps:
       - name: Cleanup
         run: find . -delete