diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index bed4addf..47f93677 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -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' }}