This commit is contained in:
Simon Cruanes 2022-04-28 10:31:12 -04:00
parent 5fefcf3ced
commit d72763ad3c
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -41,5 +41,5 @@ jobs:
- run: opam exec -- dune build @install -p opentelemetry,opentelemetry-lwt,opentelemetry-client-ocurl,opentelemetry-cohttp-lwt
- run: opam exec -- dune build @runtest
- run: opam exec -- dune build @runtest --ignore-promoted-rules
if: ${{ matrix.os == 'ubuntu-latest' }}