[release] 0.60.0 by coffeeinprogress · Pull Request #3432 · apalache-mc/apalache

Check passed!

All commits are signed off, the check passed.

	Sha	Message	Pass or fail reason
🟢	3dce640	[release] 0.60.0	`Valid sign-off found`
🟢	2c5e289	Bump version to 0.60.1-SNAPSHOT	`Valid sign-off found`