CI

crates/sel4-externally-shared: Fix licensing information #112

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	16m 31s
Check Kani proofs	4m 44s
Check licenses	15s
Check dependencies	6m 5s
Check source	1m 38s
Run other tests	48m 32s
Run sel4test (aarch64)	6m 28s
Run sel4test (aarch32)	8m 49s
Run sel4test (riscv64)	7m 3s
Run sel4test (riscv32)	6m 44s
Run sel4test (x86_64)	6m 8s
Run sel4test (ia32)	2m 11s
Build everything	17m 40s
Deploy docs	56s
	2h 13m 44s