test

FStarLang · Sep 5, 2024 · aeef4f3 · aeef4f3
1 parent bd44708
commit aeef4f3
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/.github/workflows/check-world.yml b/.github/workflows/check-world.yml
@@ -39,6 +39,7 @@ jobs:
         with:
           name: FStar
           extra: --exclude=FStar/ocaml/_build
+          hometag: FSTAR
 
   test-fstar:
     runs-on: ubuntu-latest
@@ -53,7 +54,6 @@ jobs:
       - uses: mtzguido/gci-download@master
         with:
           name: FStar
-          hometag: FSTAR
 
       - name: Test
         run: make -C FStar -skj$(nproc) ci-uregressions
@@ -93,6 +93,7 @@ jobs:
           name: FStar-boot
           path: FStar
           extra: --exclude=FStar/ocaml/_build
+          hometag: FSTAR
 
   build-pulse:
     runs-on: ubuntu-latest
@@ -108,7 +109,6 @@ jobs:
       - uses: mtzguido/gci-download@master
         with:
           name: FStar
-          hometag: FSTAR
 
       - name: Checkout pulse
         uses: actions/checkout@master
@@ -122,6 +122,7 @@ jobs:
       - uses: mtzguido/gci-upload@master
         with:
           name: pulse
+          hometag: PULSE
 
   test-pulse-boot:
     runs-on: ubuntu-latest
@@ -137,8 +138,6 @@ jobs:
       - uses: mtzguido/gci-download@master
         with:
           name: FStar-boot
-          path: FStar
-          hometag: FSTAR
 
       - name: Checkout pulse
         uses: actions/checkout@master