Repository navigation

Branch Checks

feat(prover): add OpenShell Policy Prover (OPP) #554

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Python (build-amd64)	29s
Rust (build-arm64)	4m 0s
Rust (build-amd64)	2m 35s
License Headers	33s
Python (build-arm64)	31s
	8m 8s