debug git diff

This commit is contained in:
Simon Cruanes 2023-11-14 22:42:39 -05:00
parent 705d541c3f
commit 9c096411a2
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -45,7 +45,7 @@ jobs:
- run: opam exec -- dune build @lint
# check that nothing changed
- run: git diff --quiet --exit-code
- run: git diff --exit-code
- run: opam exec -- dune build @runtest
if: ${{ matrix.os == 'ubuntu-latest' }}