avoid race conditions

This commit is contained in:
Martin Diehl 2023-08-04 09:54:59 +02:00
parent ab2711390b
commit fe3b58e501
1 changed files with 1 additions and 1 deletions

View File

@ -284,6 +284,6 @@ update_revision:
- >
git diff-index --quiet HEAD ||
git commit VERSION -m "[skip ci] updated version information after successful test of $VERSION"
- if [ ${CI_COMMIT_SHA} == $(git rev-parse HEAD^) ]; then git push origin HEAD:development HEAD:master; fi
- if [ ${CI_COMMIT_SHA} == $(git rev-parse HEAD^) ]; then git push --atomic --no-verify origin HEAD:development HEAD:master; fi
only:
- development