CI Workflows

Add a `sindri proof create` command #287

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint-and-test (18)	54s
lint-and-test (19)	47s
lint-and-test (20)	40s
lint-and-test (21)	50s
deploy	55s
	4m 6s