Back to pull request #35

Acheive REUSE compliance #111

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	4m 30s
Check dependencies	6m 11s
Build docs	19m 55s
Check source	1m 42s
Run other tests	54m 47s
Check licenses	12s
Run sel4test (aarch64)	6m 5s
Run sel4test (aarch32)	5m 53s
Run sel4test (riscv64)	5m 37s
Run sel4test (riscv32)	5m 42s
Run sel4test (x86_64)	8m 8s
Run sel4test (ia32)	2m 16s
Build everything	1h 8m 4s
Deploy docs	0s
	3h 9m 2s