diff options
| author | Yoann Fievez <yoann.fievez@gmail.com> | 2021-11-03 22:26:05 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-03 17:26:05 -0400 |
| commit | 44203872c3d94aed056229a81093ce830e9d6b18 (patch) | |
| tree | 5e8b5ed0d6105a3f7e98aa67525b37edf85452ab | |
| parent | 39111486ab47e3cc16aedf2180b2a73870e5909a (diff) | |
Launch 'make compare' only for pret repo and not fork (#858)
Fixes #856
| -rw-r--r-- | .github/workflows/main.yml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 3e53a4c28..947bea7bb 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -29,6 +29,7 @@ jobs: rm -rf rgbds - name: Compare + if: ${{ github.repository_owner == 'pret' }} run: | make DEBUG=1 -j$(nproc) compare if ! git diff-index --quiet HEAD --; then @@ -37,6 +38,16 @@ jobs: return 1 fi + - name: Make + if: ${{ github.repository_owner != 'pret' }} + run: | + make -j$(nproc) + if ! git diff-index --quiet HEAD --; then + echo 'Uncommitted changes detected:' + git diff-index HEAD -- + return 1 + fi + - name: Discord webhook if: ${{ github.event_name == 'push' && github.repository_owner == 'pret' }} env: |