Build

wip prepare a JSON file with all the results #80

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare-Workload	7m 28s
Build (1)	1h 56m 57s
Build (2)	3h 39m 37s
Build (3)	5h 1m 53s
Build (4)	3h 29m 25s
Build (5)	2h 22m 25s
Build (6)	1h 56m 43s
Build (7)	3h 12m 44s
Build (8)	2h 35m 18s
Print-status	11m 22s
	1d 0h 33m 52s