Update 'make compare' for no pret repo and add 'make' for fork (#339)

This commit is contained in:
Yoann Fievez 2021-11-04 20:17:17 +01:00 committed by GitHub
parent 2ee8ce26da
commit b44a10a43a
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: