Cryptol

Add check and prove steps to CI #294

Sign in to view logs

Summary
Jobs
- load
- check
- prove
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
load	1m 22s
check	6m 37s
prove	43m 37s
	51m 36s