chore: check for lint in CI

This commit is contained in:
Simon Cruanes 2022-04-30 13:29:50 -04:00
parent d72763ad3c
commit e5b5da9414
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -41,5 +41,10 @@ jobs:
- run: opam exec -- dune build @install -p opentelemetry,opentelemetry-lwt,opentelemetry-client-ocurl,opentelemetry-cohttp-lwt
- run: opam exec -- dune build @runtest --ignore-promoted-rules
- run: dune build @lint
# check that nothing changed
- run: git diff --quiet --exit-code
- run: opam exec -- dune build @runtest
if: ${{ matrix.os == 'ubuntu-latest' }}