Skip to content

feat(cli): implement standalone ProofCode CLI executable with staged, live, and markdown modes - #30

Merged
waleedcodes merged 3 commits into
workingfrom
pr-30-src-cli
Oct 9, 2026
Merged

feat(cli): implement standalone ProofCode CLI executable with staged, live, and markdown modes#30
waleedcodes merged 3 commits into
workingfrom
pr-30-src-cli

feat(cli): implement CI exit codes and report export flag

a428757
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar