simon/ocaml-opentelemetry
1
0
Fork 0
mirror of https://github.com/ocaml-tracing/ocaml-opentelemetry.git synced 2026-03-09 12:23:32 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #58 from imandra-ai/matt/mmcs

Browse source 
fix(gha): try --solver=mccs
This commit is contained in:
Matt Bray 2024-08-08 11:19:36 +01:00 • committed by GitHub
commit ea684b097b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -29,7 +29,7 @@ jobs:
submodules: recursive
# needed for depext to work
- run: sudo apt-get update
- run: sudo apt-get update && sudo apt-get install mccs
if: ${{ matrix.os == 'ubuntu-latest' }}
- name: Use OCaml ${{ matrix.ocaml-compiler }}
@ -45,7 +45,7 @@ jobs:
opam pin pbrt 3.0.1 -y -n
opam install pbrt -y
- run: opam install . --deps-only --with-test
- run: opam install . --deps-only --with-test --solver=mccs
- run: opam exec -- dune build @install -p opentelemetry,opentelemetry-lwt,opentelemetry-client-ocurl,opentelemetry-cohttp-lwt,opentelemetry-client-cohttp-lwt