simon/moonpool
1
0
Fork 0
mirror of https://github.com/c-cube/moonpool.git synced 2025-12-10 13:14:05 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: fix CI by installing picos first

Browse source
This commit is contained in:
Simon Cruanes 2024-08-29 09:46:39 -04:00
parent 31bc5bec82
commit 914bf9f6ba
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
.github/workflows/main.yml vendored
View file

@ -30,6 +30,7 @@ jobs:
dune-cache: true
allow-prerelease-opam: true
- run: opam pin picos --dev -y -n && opam install picos
- run: opam install -t moonpool moonpool-lwt --deps-only
if: matrix.ocaml-compiler == '5.2'
- run: opam install -t moonpool --deps-only
@ -37,7 +38,7 @@ jobs:
- run: opam exec -- dune build @install
# install some depopts
- run: opam pin picos --dev -y -n && opam install thread-local-storage trace domain-local-await # picos
- run: opam install thread-local-storage trace
if: matrix.ocaml-compiler == '5.2'
- run: opam exec -- dune build --profile=release --force @install @runtest