CI

Acheive REUSE compliance #109

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	4m 18s
Check licenses	11s
Build docs	13m 24s
Check dependencies	5m 39s
Check source	2m 7s
Run other tests	20m 45s
Run sel4test (aarch64)	7m 15s
Run sel4test (aarch32)	5m 57s
Run sel4test (riscv64)	6m 59s
Run sel4test (riscv32)	25m 40s
Run sel4test (x86_64)	5m 38s
Run sel4test (ia32)	2m 23s
Build everything	11m 37s
Deploy docs	0s
	1h 51m 53s