search

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint
https://apalache-mc.org/
Apache License 2.0
429 stars 40 forks source link

Fix the release pipeline #2951

Closed konnov closed 4 weeks ago

konnov commented 1 month ago

The last step did not work: https://github.com/apalache-mc/apalache/actions/runs/10434305251

lemmy commented 4 weeks ago 
...
+ VERSION=0.45.1-SNAPSHOT
++ git show -s --format=%s HEAD
+ msg='Bump version to 0.45.1-SNAPSHOT'
+ [[ Bump version to 0.45.1-SNAPSHOT != \[\r\e\l\e\a\s\e\]\ \0\.\4\5\.\1\-\S\N\A\P\S\H\O\T ]]
+ echo 'error: HEAD commit must be a [release] commit'
+ echo 'found: Bump version to 0.45.1-SNAPSHOT'
+ exit 4
error: HEAD commit must be a [release] commit
found: Bump version to 0.45.1-SNAPSHOT

The error message suggests that the git commit message has to be amended to [release] 0.45.1-SNAPSHOT.

konnov commented 4 weeks ago

@thpani figured out that no other PR should land on main between prepare-release and release. This has worked.