seL4Test

libsel4simple-default,riscv: implement irq_trigger #193

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 30s
Simulation (armv7a, clang)	12m 44s
Simulation (armv8a, gcc)	4m 0s
Simulation (armv8a, clang)	3m 55s
Simulation (nehalem, gcc)	7m 50s
Simulation (nehalem, clang)	9m 2s
Simulation (rv32imac, gcc)	5m 10s
Simulation (rv32imac, clang)	9m 14s
Simulation (rv64imac, gcc)	5m 56s
Simulation (rv64imac, clang)	7m 33s
	1h 17m 54s