From 57a9a6990dbe54746248d618e3346a88562942e0 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 7 Dec 2023 00:02:59 -0500 Subject: [PATCH] faster CI --- .github/workflows/main.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 9fa3e1a..4daeeaa 100644 --- 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