ref: 44203872c3d94aed056229a81093ce830e9d6b18
parent: 39111486ab47e3cc16aedf2180b2a73870e5909a
author: Yoann Fievez <yoann.fievez@gmail.com>
date: Wed Nov 3 18:26:05 EDT 2021
Launch 'make compare' only for pret repo and not fork (#858) Fixes #856
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -29,8 +29,19 @@
rm -rf rgbds
- name: Compare
+ if: ${{ github.repository_owner == 'pret' }}
run: |
make DEBUG=1 -j$(nproc) compare
+ if ! git diff-index --quiet HEAD --; then
+ echo 'Uncommitted changes detected:'
+ git diff-index HEAD --
+ 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 --