CI

chore: move compilation errors to dedicated file (#333) #3886

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
run-tests	1m 14s
format	21s
commitlint	8s
clippy	23s
unused-dependencies	50s
	2m 56s