diff options
| author | Rangi <remy.oukaour+rangi@gmail.com> | 2021-06-20 12:13:52 -0400 |
|---|---|---|
| committer | Rangi <remy.oukaour+rangi@gmail.com> | 2021-06-20 12:13:52 -0400 |
| commit | c5d5d1115f4518758fd561e4e73478c8e527f01e (patch) | |
| tree | d68dafaf12df56756e75028ba0f86dce89b175a9 | |
| parent | 9f7395cb91010663d58e59b10b91f61fdc816d85 (diff) | |
Try restoring the git status check in CI (see issue #67)
| -rw-r--r-- | .github/workflows/main.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 3562960..8cac4e7 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -47,3 +47,8 @@ jobs: - name: Compare run: | make -j$(nproc) compare + if ! git diff-index --quiet HEAD --; then + echo 'Uncommitted changes detected:' + git diff-index HEAD -- + return 1 + fi |