Merge pull request #74 from andreas-roehler/master #200

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check formatting	2m 51s
Build (17.0.9, 2.13.13)	44s
Build (17.0.9, 3.3.3)	45s
Build (17.0.9, 3.4.0)	48s
	5m 8s