Skip to content

fix: harden Cursor Cli + issue 210-212 end-to-end proofs#214

Merged
Finesssee merged 1 commit into
mainfrom
fix/issues-210-212-proof-hardening
Jul 21, 2026
Merged

fix: harden Cursor Cli + issue 210-212 end-to-end proofs#214
Finesssee merged 1 commit into
mainfrom
fix/issues-210-212-proof-hardening

fix: harden Cursor Cli path and add issue 210-212 end-to-end proofs

4492993
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar