Back to pull request #4438

Replacing outdated wiki links with links to Github repos for #62

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Verify Linux	3m 17s
Verify Windows	5m 48s
Verify MacOS x86	5m 30s
Verify MacOS ARM	4m 9s
	18m 44s