diff --git a/.github/workflows/harness.yml b/.github/workflows/harness.yml index d3e8d3c1..c2f4f45e 100644 --- a/.github/workflows/harness.yml +++ b/.github/workflows/harness.yml @@ -95,7 +95,6 @@ jobs: - name: Check promoted files run: | cd /home/ocaml/catala && opam exec -- make check-promoted - git diff --exit-code - name: Run tests if: ${{ always() }} run: cd /home/ocaml/catala && opam exec -- make testsuite