feat(kms/auth-eth): formal verification — Slither + Halmos + spec#689
Merged
GitHub Advanced Security / CodeQL
completed
May 31, 2026 in 2s
1 configuration not found
Warning: Code scanning cannot determine the alerts introduced by this pull request, because 1 configuration present on refs/heads/master was not found:
Default setup
- ❓
/language:rust
Loading