CI

Add `aarch32` config to rustdoc site #265

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	2m 59s
Build docs	1m 34s
Check dependencies	3m 51s
Check licenses	19s
Check source	1m 56s
Run other tests	4m 48s
Build everything	4m 56s
Deploy docs	0s
	20m 23s