diff options
| author | Rangi <remy.oukaour+rangi42@gmail.com> | 2021-11-23 21:19:29 -0500 |
|---|---|---|
| committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2021-11-23 21:19:29 -0500 |
| commit | 7574e186e7505e237efc3ab0969fed60bec6eb9d (patch) | |
| tree | 527ec48412989e98cca7827c5e31d89cdf742b05 /.github | |
| parent | Identify starter pikachu happiness boost medicine check (#72) (diff) | |
| parent | Use ~X instead of $ff ^ X (diff) | |
| download | pokeyellow-7574e186e7505e237efc3ab0969fed60bec6eb9d.tar.gz pokeyellow-7574e186e7505e237efc3ab0969fed60bec6eb9d.tar.xz pokeyellow-7574e186e7505e237efc3ab0969fed60bec6eb9d.zip | |
Merge remote-tracking branch 'remotes/pokered/master'
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/main.yml | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index a3fd4456..c1052183 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -16,7 +16,7 @@ jobs: uses: actions/checkout@master with: path: rgbds - ref: v0.5.1 + ref: v0.5.2 repository: gbdev/rgbds - name: Install rgbds @@ -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: |