From a8c8c86ff84ac91007ab4ae88aaf679d11714527 Mon Sep 17 00:00:00 2001 From: Tempestas Ludi Date: Sat, 17 Aug 2024 18:51:55 +0200 Subject: [PATCH] Build Schools instead of SetHITs --- .github/workflows/build-schools.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build-schools.yml b/.github/workflows/build-schools.yml index 24b632e..0bcbdfa 100644 --- 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