faster CI

This commit is contained in:
Simon Cruanes 2023-12-07 00:02:59 -05:00
parent 317509681e
commit 721212be27
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -29,6 +29,7 @@ jobs:
with: with:
ocaml-compiler: ${{ matrix.ocaml-compiler }} ocaml-compiler: ${{ matrix.ocaml-compiler }}
dune-cache: true dune-cache: true
allow-prerelease-opam: true
- run: opam install -t trace trace-tef --deps-only - run: opam install -t trace trace-tef --deps-only
- run: opam exec -- dune build '@install' -p trace,trace-tef - run: opam exec -- dune build '@install' -p trace,trace-tef