diff options
author | Fausto Núñez Alberro <fausto.nunez@mailbox.org> | 2021-02-06 01:57:07 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-06 01:57:07 +0100 |
commit | e858f4081e6b207ec3de64174d65a0977a9981c8 (patch) | |
tree | aaba33a193cb61fab10a8a4ba5da9bbc61f27b90 /.github/workflows | |
parent | a4dddec3bb8ea033d2905ef5ee704ec234351937 (diff) | |
parent | 71ca2d57c947e2ff8f4e2d201e81380d11e71bbf (diff) |
Merge pull request #15 from fnune/fix-pr-check-script
Fix the PR check script
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/pr.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index f5e8385..b916f97 100644 --- a/.github/workflows/pr.yml +++ b/.github/workflows/pr.yml @@ -17,7 +17,7 @@ jobs: run: pip install pybase16-builder - name: Fetch the repository code uses: actions/checkout@v2 - - name: Run make build - run: make build + - name: Run make + run: make - name: Check if there are changes run: git diff --exit-code |