Skip to content

feat(prover): add OpenShell Policy Prover (OPP) - #703

Closed
zredlined wants to merge 11 commits into
mainfrom
feat/699-policy-prover/zredlined
Closed

feat(prover): add OpenShell Policy Prover (OPP)#703
zredlined wants to merge 11 commits into
mainfrom
feat/699-policy-prover/zredlined

fix(sdk): narrow proto import suppression per review feedback

23f1be8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar