[READ-ONLY] Mirror of https://github.com/jmrplens/jmrplens. Profile
jmrp.io/
ci(generate-stats): add concurrency block to prevent overlapping runs
The schedule runs every 12h, and a slow run plus the next scheduled
trigger could overlap on the same self-hosted checkout, leading to
concurrent git push operations that race.
Add 'concurrency: stats-${{ github.ref }}' with 'cancel-in-progress:
false' so a new run queues behind the current one instead of clashing.
+7
+7
.github/workflows/generate-stats.yml
+7
.github/workflows/generate-stats.yml
···
8
8
- cron: '0 0,12 * * *'
9
9
workflow_dispatch:
10
10
11
+
# Prevent overlapping runs. The 12h cron plus a slow run can race two
12
+
# `git push` operations against the same checkout, causing one to fail
13
+
# or to clobber the other's commit.
14
+
concurrency:
15
+
group: stats-${{ github.ref }}
16
+
cancel-in-progress: false
17
+
11
18
permissions:
12
19
contents: write
13
20