Back to pull request #156

Update `ring` dependency #436

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	3m 34s
Check Kani proofs	3m 34s
Build docs	2m 2s
Build docs	2m 2s
Check dependencies	3m 7s
Check dependencies	3m 7s
Check licenses	16s
Check licenses	16s
Check source	2m 48s
Check source	2m 48s
Run other tests	49m 54s
Run other tests	4m 54s
Build everything	0s
Build everything	6m 41s
Deploy docs	0s
Deploy docs	0s
	1h 25m 3s