Merge branch 'devel'

This commit is contained in:
Tobias Knöppler 2023-01-22 22:06:10 +01:00
commit 0827781a5a
No known key found for this signature in database
GPG Key ID: 3510056072886A8F

View File

@ -298,7 +298,7 @@ jobs:
- name: Create manifest and push as latest to docker hub
run: |
[[ "$version" =~ ^v[0-9]+'.'[0-9]+'.'[0-9]+$ ]] || {
[[ "${{ github.ref }}" =~ ^'ref/tags/v'[0-9]+'.'[0-9]+'.'[0-9]+$ ]] || {
echo "not tagging latest - is a pre-/beta-release"
exit 0
}