diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/pr.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index b916f97..7d412ae 100644 --- a/.github/workflows/pr.yml +++ b/.github/workflows/pr.yml @@ -1,4 +1,4 @@ -name: Check that `make build` does not produce additional changes +name: Check that running `make` does not produce additional changes on: pull_request: branches: |