fix?

AeneasVerif · Aug 16, 2024 · 336860d · 336860d
1 parent cfa5f8c
commit 336860d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/weekly.yml b/.github/workflows/weekly.yml
@@ -12,7 +12,9 @@ jobs:
       - uses: ocaml/setup-ocaml@v3
         with:
           ocaml-compiler: 4.13.1
-      - run: opam install dune
+      - run: |
+          opam install dune
+          eval $(opam env)
       - run: opam install ppx_deriving visitors easy_logging zarith yojson core_unix odoc menhir
       - run: make build
       - run: make test