Merge pull request #75 from andreas-roehler/master #202

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check formatting	34s
Build (17.0.9, 2.13.13)	45s
Build (17.0.9, 3.3.3)	53s
Build (17.0.9, 3.4.0)	48s
	3m 0s