diff options
author | Fausto Núñez Alberro <fausto.nunez@mailbox.org> | 2021-02-06 01:59:38 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-06 01:59:38 +0100 |
commit | 8e4c5099ead6317cb30098a4996ab799c773de97 (patch) | |
tree | d6293c6e4ea8e6b835f5178551dff88ed41390fb /.github/workflows | |
parent | e858f4081e6b207ec3de64174d65a0977a9981c8 (diff) | |
parent | a50834b935e9d469a4202d3a41e051b9129db840 (diff) |
Merge pull request #14 from fnune/license-mod
Add new author to the license, keeping previous authors too
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: |