mirror of
https://github.com/Z3Prover/z3
synced 2026-07-15 11:35:42 +00:00
Serialize nightly deploy and keep tag checks
This commit is contained in:
parent
9bc860e8e0
commit
8624d910db
1 changed files with 5 additions and 1 deletions
6
.github/workflows/nightly.yml
vendored
6
.github/workflows/nightly.yml
vendored
|
|
@ -16,6 +16,10 @@ on:
|
|||
type: boolean
|
||||
default: false
|
||||
|
||||
concurrency:
|
||||
group: nightly-release
|
||||
cancel-in-progress: false
|
||||
|
||||
permissions:
|
||||
contents: write
|
||||
|
||||
|
|
@ -845,7 +849,7 @@ jobs:
|
|||
run: |
|
||||
git tag -f Nightly "${{ github.sha }}"
|
||||
if ! git push --force origin refs/tags/Nightly; then
|
||||
echo "Failed to push Nightly tag"
|
||||
echo "Failed to push Nightly tag to origin"
|
||||
exit 1
|
||||
fi
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue