libsel4vka: Fix size bits in vka_untyped_retype for seL4_CapTableObject #197

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 40s
Simulation (armv7a, clang)	12m 44s
Simulation (armv8a, gcc)	3m 59s
Simulation (armv8a, clang)	3m 53s
Simulation (nehalem, gcc)	7m 46s
Simulation (nehalem, clang)	9m 20s
Simulation (rv32imac, gcc)	4m 59s
Simulation (rv32imac, clang)	9m 24s
Simulation (rv64imac, gcc)	5m 59s
Simulation (rv64imac, clang)	7m 44s
	1h 18m 28s