From 88de59b071d592f3f2746024c9a8ed73527b4c66 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Wed, 4 Sep 2024 20:24:44 -0700
Subject: [PATCH] tweak

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

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