diff options
author | Carl Schwan <carl@carlschwan.eu> | 2022-10-17 13:48:29 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-17 13:48:29 +0300 |
commit | 94be6b012be2ecd4cf79f2ac7a23fdd3b82bf2ee (patch) | |
tree | 8f5d4e2960be04969b6f01d1ff800d3e66ff17f0 | |
parent | 68a11c7de2c24a02e5864849062512e53622fdc2 (diff) | |
parent | 73d04fdd2f2a95411f2c8fb0426186bc31cdaebd (diff) |
Merge pull request #2138 from nextcloud/feat/workflow-auto-update-psalm.yml
Updating psalm.yml workflow from template
-rw-r--r-- | .github/workflows/psalm.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/psalm.yml b/.github/workflows/psalm.yml index 27091d53..dc4d05d4 100644 --- a/.github/workflows/psalm.yml +++ b/.github/workflows/psalm.yml @@ -13,6 +13,10 @@ on: - main - stable* +concurrency: + group: psalm-${{ github.head_ref || github.run_id }} + cancel-in-progress: true + jobs: static-analysis: runs-on: ubuntu-latest |