seL4Test

Add a test for injecting an IRQ on a vCPU without a TCB associated #154

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 44s
Simulation (armv7a, clang)	12m 37s
Simulation (armv8a, gcc)	3m 56s
Simulation (armv8a, clang)	3m 56s
Simulation (nehalem, gcc)	7m 37s
Simulation (nehalem, clang)	8m 47s
Simulation (rv32imac, gcc)	5m 8s
Simulation (rv32imac, clang)	11m 52s
Simulation (rv64imac, gcc)	5m 56s
Simulation (rv64imac, clang)	10m 45s
	1h 23m 18s