CI

Enable testing this project with a range of Rust toolchain versions #563

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	16s
Build docs	11m 12s
Check Kani proofs	8m 29s
Check dependencies	8m 26s
Check source	7m 3s
Run other tests	1h 0m 2s
Build everything	1h 13m 13s
Deploy docs	0s
	2h 48m 41s