diff options
| author | Fausto Núñez Alberro <fausto.nunez@mailbox.org> | 2021-02-06 01:20:30 +0100 |
|---|---|---|
| committer | Fausto Núñez Alberro <fausto.nunez@mailbox.org> | 2021-02-06 01:20:30 +0100 |
| commit | a4dddec3bb8ea033d2905ef5ee704ec234351937 (patch) | |
| tree | afcca983c3591ddbb29421035d8b1f909ddba1ae | |
| parent | ad1e5c14d7d48388b38e9ed31a06556bf9b54943 (diff) | |
Properly name GitHub workflow
| -rw-r--r-- | .github/workflows/pr.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index 8625c11..f5e8385 100644 --- a/.github/workflows/pr.yml +++ b/.github/workflows/pr.yml @@ -1,9 +1,10 @@ +name: Check that `make build` does not produce additional changes on: pull_request: branches: - master jobs: - run: + check: runs-on: ubuntu-latest steps: - name: Set up Python |