CI

Acheive REUSE compliance #107

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	12s
Build docs	2m 9s
Check Kani proofs	4m 25s
Check dependencies	4m 51s
Check source	1m 37s
Run other tests	5m 32s
Run sel4test (aarch64)	7m 45s
Run sel4test (aarch32)	6m 51s
Run sel4test (riscv64)	5m 42s
Run sel4test (riscv32)	4m 36s
Run sel4test (x86_64)	5m 27s
Run sel4test (ia32)	1m 51s
Build everything	0s
Deploy docs	0s
	50m 58s