diff options
| author | Yoann Fievez <yoann.fievez@gmail.com> | 2021-11-04 20:17:17 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-04 15:17:17 -0400 |
| commit | b44a10a43a1fa4a558b4c593d0a610571ecb3a50 (patch) | |
| tree | da4558604a3f44ce294ff719cb4d5d660f4419a9 | |
| parent | 2ee8ce26da2d8195be9440335323d7ad9f9a168d (diff) | |
Update 'make compare' for no pret repo and add 'make' for fork (#339)
| -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 a3fd4456..0e2472a4 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: |