ci

Refactor sort checking to deal with synthesis for constructors #1186

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
rustfmt	38s
fixpoint	10m 16s
clippy	2m 1s
vtock	2m 37s
tests	1m 39s
	17m 11s