Certora/certora-run-action
Certora Run GitHub Action
GitHub Actions security score
| Certora/certora-run-action | |
|---|---|
Score | Start free trial to unlock No credit card required |
License | |
Maintained | |
Vulnerabilities | |
Branch protection | |
Manual code review | |
Secure publishing | |
Signed commits | |
Automated security tools | |
Popular | Used by 26 open-source projects |
Security Policy | security policy file not detected |