Build, lint and test

Verify id statements when checking for valid proofs #1151

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
dependencies	25s
build	2m 52s
lint	1m 33s
test	59s
	5m 49s