fix?

AeneasVerif · Aug 16, 2024 · f0acde6 · f0acde6
1 parent 61afe2c
commit f0acde6
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 -- IN_CI=1 make test
+      - run: IN_CI=1 opam exec -- make test