no krml

FStarLang · Sep 5, 2024 · bd44708 · bd44708
1 parent 88de59b
commit bd44708
Showing 1 changed file with 0 additions and 10 deletions.
diff --git a/.github/workflows/check-world.yml b/.github/workflows/check-world.yml
@@ -110,11 +110,6 @@ jobs:
           name: FStar
           hometag: FSTAR
 
-      - uses: mtzguido/gci-download@master
-        with:
-          name: karamel
-          hometag: KRML
-
       - name: Checkout pulse
         uses: actions/checkout@master
         with:
@@ -145,11 +140,6 @@ jobs:
           path: FStar
           hometag: FSTAR
 
-      - uses: mtzguido/gci-download@master
-        with:
-          name: karamel
-          hometag: KRML
-
       - name: Checkout pulse
         uses: actions/checkout@master
         with: