Fix several syntax checks for contracts #1191

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
kind2-build (4.09.1, ubuntu-20.04)	9m 21s
kind2-build (4.09.1, macos-11)	16m 4s
	25m 25s