CI

Add `aarch32` config to rustdoc site #266

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	1m 27s
Check Kani proofs	3m 4s
Check licenses	22s
Check dependencies	3m 45s
Check source	2m 8s
Run other tests	3m 20s
Build everything	5m 49s
Deploy docs	0s
	19m 55s