set IN_CI

AeneasVerif · Aug 16, 2024 · 61afe2c · 61afe2c
1 parent e39fd64
commit 61afe2c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/weekly.yml b/.github/workflows/weekly.yml
@@ -14,4 +14,4 @@ jobs:
           ocaml-compiler: 4.13.1
       - run: opam install ppx_deriving visitors easy_logging zarith yojson core_unix odoc menhir
       - run: opam exec -- make build
-      - run: opam exec -- make test
+      - run: opam exec -- IN_CI=1 make test