diff options
author | Fausto Núñez Alberro <fausto.nunez@mailbox.org> | 2021-02-06 01:58:24 +0100 |
---|---|---|
committer | Fausto Núñez Alberro <fausto.nunez@mailbox.org> | 2021-02-06 01:58:24 +0100 |
commit | a50834b935e9d469a4202d3a41e051b9129db840 (patch) | |
tree | d6293c6e4ea8e6b835f5178551dff88ed41390fb /.github/workflows | |
parent | baacc5e56598e7f9ebb73f25497507defdda3e18 (diff) |
Update workflow name
Diffstat (limited to '.github/workflows')
-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: |