seL4Test-HW

Add tests for all of the ARM cache operations on all kinds of frame mappings. #85

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
HW Build (armv7a, gcc)	10m 1s
HW Build (armv7a, clang)	11m 58s
HW Build (armv8a, gcc)	28m 6s
HW Build (armv8a, clang)	30m 17s
HW Build (nehalem, gcc)	6m 31s
HW Build (nehalem, clang)	9m 1s
HW Build (rv64imac, gcc)	9m 1s
HW Build (rv64imac, clang)	8m 23s
Matrix	0s
HW Run	0s
	1h 53m 18s