ci: use depext

This commit is contained in:
Simon Cruanes 2022-05-02 10:18:43 -04:00
parent e5b5da9414
commit 7e4a1adf83
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -41,7 +41,7 @@ jobs:
- run: opam exec -- dune build @install -p opentelemetry,opentelemetry-lwt,opentelemetry-client-ocurl,opentelemetry-cohttp-lwt
- run: dune build @lint
- run: opam exec -- dune build @lint
# check that nothing changed
- run: git diff --quiet --exit-code