Build Schools instead of SetHITs

UniMath · Aug 17, 2024 · a8c8c86 · a8c8c86
1 parent 60ace1f
commit a8c8c86
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/build-schools.yml b/.github/workflows/build-schools.yml
@@ -64,5 +64,5 @@ jobs:
         run: opam pin add coq ${{ env.coq-version }}
 
       # Schools is built using the flags specified in code/dune.
-      - name: Compile SetHITs.
-        run: opam exec -- dune build SetHITs --display=short --error-reporting=twice
+      - name: Compile Schools.
+        run: opam exec -- dune build Schools --display=short --error-reporting=twice