Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/nextcloud/groupfolders.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCarl Schwan <carl@carlschwan.eu>2022-10-17 13:48:29 +0300
committerGitHub <noreply@github.com>2022-10-17 13:48:29 +0300
commit94be6b012be2ecd4cf79f2ac7a23fdd3b82bf2ee (patch)
tree8f5d4e2960be04969b6f01d1ff800d3e66ff17f0
parent68a11c7de2c24a02e5864849062512e53622fdc2 (diff)
parent73d04fdd2f2a95411f2c8fb0426186bc31cdaebd (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.yml4
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