chore: in CI, run tests in release profile

this is required to be able to repro #454
This commit is contained in:
Simon Cruanes 2024-11-18 12:03:39 -05:00
parent 303f51f93d
commit 921db438f2
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -33,7 +33,7 @@ jobs:
allow-prerelease-opam: true
- run: opam install -t containers containers-data --deps-only
- run: opam exec -- dune build '@install'
- run: opam exec -- dune runtest
- run: opam exec -- dune runtest --force --profile=release
compat:
name: build
@ -61,7 +61,7 @@ jobs:
opam install -t containers --deps-only ;
opam install containers-data --deps-only # no test deps
- run: opam exec -- dune build '@install'
- run: opam exec -- dune runtest -j 1 -p containers # test only core on non-ubuntu platform
- run: opam exec -- dune runtest -j 1 -p containers --profile=release # test only core on non-ubuntu platform
format:
name: format