chore(certora): verify slots transitions and that a slot can be paid only once #957
Triggered via pull request
October 14, 2024 08:24
gravityblast
Status
Success
Total duration
1h 13m 48s
Artifacts
–