CI

Clean up `ring` test #263

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	16s
Check licenses	16s
Build docs	1m 17s
Build docs	1m 17s
Check dependencies	4m 8s
Check dependencies	4m 8s
Check Kani proofs	3m 10s
Check Kani proofs	3m 10s
Check source	1m 41s
Check source	1m 41s
Run other tests	6m 35s
Run other tests	6m 35s
Build everything	12m 39s
Build everything	5m 29s
Deploy docs	1s
Deploy docs	0s
	52m 23s