CI

Remove unstable macro-related features #197

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	21s
Check Kani proofs	3m 6s
Check dependencies	3m 35s
Check source	2m 29s
Run other tests	40m 11s
Build docs	2m 27s
Run sel4test (aarch64)	4m 52s
Run sel4test (aarch32)	5m 28s
Run sel4test (riscv64)	5m 10s
Run sel4test (riscv32)	4m 30s
Run sel4test (x86_64)	4m 51s
Run sel4test (ia32)	2m 9s
Build everything	0s
Deploy docs	0s
	1h 19m 9s