ref: b44a10a43a1fa4a558b4c593d0a610571ecb3a50
parent: 2ee8ce26da2d8195be9440335323d7ad9f9a168d
author: Yoann Fievez <yoann.fievez@gmail.com>
date: Thu Nov 4 16:17:17 EDT 2021
Update 'make compare' for no pret repo and add 'make' for fork (#339)
--- 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 --