Repository:
Certora/certora-run-action
Group ID:
548812e5-3138-4e85-a4c5-af8164eb4086
Commit:
e6042162
Job
Result
VERIFIED
VIOLATED
conf-violations.conf -…
✅
2
0
conf-violations.conf
❌
2
1
conf-verified.conf --r…
✅
2
0
conf-verified.conf --m…
✅
3
0
conf-verified.conf
✅
3
0