build

Merge pull request #323 from jmid/alcotest-speed-level #455

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build (macos-13, 4.08)	4m 16s
Build (macos-13, 4.12)	4m 31s
Build (macos-13, 4.14)	4m 20s
Build (macos-13, 5.0)	4m 37s
Build (macos-13, 5.2)	4m 36s
Build (ubuntu-latest, 4.08)	2m 14s
Build (ubuntu-latest, 4.12)	2m 9s
Build (ubuntu-latest, 4.14)	2m 2s
Build (ubuntu-latest, 5.0)	2m 10s
Build (ubuntu-latest, 5.2)	3m 9s
Build (windows-latest, 4.14)	4m 32s
Build (windows-latest, 5.0)	4m 47s
Build (windows-latest, 5.2)	4m 42s
	48m 5s