CI

Add UnwindSafe bound to catch_unwind #215

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	2m 25s
Check dependencies	3m 40s
Check licenses	12s
Check Kani proofs	3m 56s
Check source	2m 15s
Run other tests	5m 49s
Run sel4test (aarch64)	4m 43s
Run sel4test (aarch32)	4m 54s
Run sel4test (riscv64)	5m 3s
Run sel4test (riscv32)	4m 7s
Run sel4test (x86_64)	4m 34s
Run sel4test (ia32)	2m 7s
Build everything	9m 39s
Deploy docs	52s
	54m 16s