seL4Test

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 50s
Simulation (armv7a, clang)	12m 31s
Simulation (armv8a, gcc)	3m 51s
Simulation (armv8a, clang)	3m 53s
Simulation (nehalem, gcc)	7m 37s
Simulation (nehalem, clang)	8m 38s
Simulation (rv32imac, gcc)	5m 6s
Simulation (rv32imac, clang)	11m 45s
Simulation (rv64imac, gcc)	5m 49s
Simulation (rv64imac, clang)	10m 41s
	1h 22m 41s