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:
authorNextcloud bot <bot@nextcloud.com>2022-10-15 18:04:39 +0300
committerNextcloud bot <bot@nextcloud.com>2022-10-15 18:04:39 +0300
commit73d04fdd2f2a95411f2c8fb0426186bc31cdaebd (patch)
tree62e15f3436694b52106023112fa02eccdac9d902
parentc2d2e6037d2be62bcb6478a20faa9f757606a579 (diff)
Updating psalm.yml workflow from template
Signed-off-by: Nextcloud bot <bot@nextcloud.com>
-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