ci

Conv generic predicates of all items before sortck (#986) #1355

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
fixpoint	10s
rustfmt	29s
clippy	1m 57s
vtock	2m 38s
tests	2m 2s
	7m 16s