no concurrency runs of the prerelease workflow
This commit is contained in:
parent
b5741c61bb
commit
5dc2451c3c
1 changed files with 5 additions and 1 deletions
|
|
@ -4,13 +4,17 @@ on:
|
||||||
release:
|
release:
|
||||||
types: [published, edited]
|
types: [published, edited]
|
||||||
|
|
||||||
|
concurrency:
|
||||||
|
group: ${{ github.workflow }}
|
||||||
|
cancel-in-progress: false
|
||||||
|
|
||||||
permissions:
|
permissions:
|
||||||
contents: read
|
contents: read
|
||||||
issues: write
|
issues: write
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
comment-milestone-issues:
|
comment-milestone-issues:
|
||||||
# consenti il run manuale per test; in produzione resta solo prerelease
|
# allow manual run for testing; in production, only prerelease
|
||||||
if: ${{ github.event.release.prerelease == true }}
|
if: ${{ github.event.release.prerelease == true }}
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
steps:
|
steps:
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue