seL4Test

libsel4allocman: fix clang warnings for printing #184

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 35s
Simulation (armv7a, clang)	12m 37s
Simulation (armv8a, gcc)	3m 54s
Simulation (armv8a, clang)	3m 55s
Simulation (nehalem, gcc)	7m 38s
Simulation (nehalem, clang)	8m 57s
Simulation (rv32imac, gcc)	5m 5s
Simulation (rv32imac, clang)	11m 52s
Simulation (rv64imac, gcc)	5m 47s
Simulation (rv64imac, clang)	10m 48s
	1h 23m 8s