CI Workflows

Remove `includeProofInput` option #293

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint-and-test (18)	43s
lint-and-test (19)	41s
lint-and-test (20)	45s
lint-and-test (21)	38s
deploy	0s
	2m 47s