Pull Request

Migrate pipeline from CircleCI to GitHub Actions #1

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	4m 44s
test	4m 53s
check	4m 41s
prerelease	32s
merge-pull-request	0s
	14m 50s