feat: implement project verification goals and proof runs (#187) - #331
Closed
Joncallim wants to merge 65 commits into
Closed
feat: implement project verification goals and proof runs (#187)#331Joncallim wants to merge 65 commits into
Joncallim wants to merge 65 commits into
GitGuardian / GitGuardian Security Checks
succeeded
Aug 19, 2026 in 2s
No secrets detected ✅
65 commits were scanned without uncovering any secrets.
Details
Commits scanned: 65
- Pull request #331:
architecture/issue-187-goal-run-policy-final👉main
🦉 GitGuardian detects secrets in your source code to help developers and security teams secure the modern development process. You are seeing this because you or someone else with access to this repository has authorized GitGuardian to scan your pull request.
Loading