From 44203872c3d94aed056229a81093ce830e9d6b18 Mon Sep 17 00:00:00 2001
From: Yoann Fievez <yoann.fievez@gmail.com>
Date: Wed, 3 Nov 2021 22:26:05 +0100
Subject: [PATCH] Launch 'make compare' only for pret repo and not fork (#858)

Fixes #856
---
 .github/workflows/main.yml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 3e53a4c28..947bea7bb 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: