faster CI

c-cube · Dec 7, 2023 · 57a9a69 · 57a9a69
1 parent 011ede4
commit 57a9a69
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -29,6 +29,7 @@ jobs:
         with:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
           dune-cache: true
+          allow-prerelease-opam: true
 
       - run: opam install -t trace trace-tef --deps-only
       - run: opam exec -- dune build '@install' -p trace,trace-tef