Code Checks

Merge branch 'main' into fix-prover-config-path #43

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check linting	58s
Check formatting	12s
Check unused dependencies	1m 12s
	2m 22s