Repository navigation

Release PR

Change push command option to use --follow-tags instead of --tags #677

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Validate release request	-1s
Release snapshot	0s
Report failure	-1s
	-2s