Skip to content

Fix invariants in CI #620

Fix invariants in CI

Fix invariants in CI #620

Triggered via pull request November 24, 2024 15:40
Status Success
Total duration 1m 12s
Artifacts

certora.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in