Launch 'make compare' only for pret repo and not fork (#858)

Fixes #856
This commit is contained in:
Yoann Fievez 2021-11-03 22:26:05 +01:00 committed by GitHub
parent 39111486ab
commit 44203872c3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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: