Merge pull request #242 from gui-cs/release/v2.5.1 #183

Job	Run time
resolve-version	4s
build-and-test (windows-latest, win-x64)	3m 52s
build-and-test (macos-latest, osx-arm64)	1m 58s
build-and-test (ubuntu-latest, linux-x64)	1m 50s
pack-and-publish	30s
release-assets	15s
notify-downstream	5m 48s
notify-failure	0s
	14m 17s

Provide feedback