CI

Restore remaining uses of #![feature(associated_type_bounds)] #381

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	2m 32s
Check Kani proofs	2m 53s
Build docs	1m 29s
Check licenses	16s
Check source	1m 48s
Run other tests	3m 34s
Build everything	5m 29s
Deploy docs	31s
	18m 32s