Skip to content

feat!(openshell-cli): remove openshell policy prove command and z3 de… - #2318

Merged
SDAChess merged 1 commit into
mainfrom
sscatton/remove-openshell-prove-from-cli
Jul 16, 2026
Merged

feat!(openshell-cli): remove openshell policy prove command and z3 de…#2318
SDAChess merged 1 commit into
mainfrom
sscatton/remove-openshell-prove-from-cli

feat!(openshell-cli): remove openshell policy prove command and z3 de…

1e0bf95
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar