Convert release pipeline to github actions #14

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Create release	1m 38s
Create release	1m 38s
build (ubuntu-22.04)	13m 59s
build (ubuntu-22.04)	13m 59s
build (windows-2022)	2m 50s
build (windows-2022)	2m 50s
build (macos-12)	2m 48s
build (macos-12)	2m 48s
verify (ubuntu-22.04)	10s
verify (ubuntu-22.04)	11s
verify (windows-2022)	14s
verify (windows-2022)	17s
verify (macos-12)	13s
verify (macos-12)	14s
verify (macos-14)	11s
verify (macos-14)	10s
publish	0s
publish	0s
	44m 10s