diff --git a/.github/workflows/check-world.yml b/.github/workflows/check-world.yml
index 14e0886eaa0..31a2b2a359d 100644
--- 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