CI

Add support for `.init_array` #216

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	3m 12s
Build docs	8m 34s
Check licenses	10s
Check dependencies	4m 17s
Check source	2m 18s
Run other tests	10m 19s
Run sel4test (aarch64)	4m 37s
Run sel4test (aarch32)	4m 59s
Run sel4test (riscv64)	5m 0s
Run sel4test (riscv32)	4m 30s
Run sel4test (x86_64)	5m 9s
Run sel4test (ia32)	2m 12s
Build everything	47m 23s
Deploy docs	0s
	1h 42m 40s