docs(proof): modshells SPARK no-op exemption (reconcile stale audit)#49
Merged
GitHub Advanced Security / CodeQL
completed
May 19, 2026 in 1m 25s
1 configuration not found
Warning: Code scanning cannot determine the alerts introduced by this pull request, because 1 configuration present on refs/heads/main was not found:
Actions workflow (codeql.yml)
- ❓
/language:javascript-typescript
Loading