Skip to content
Foundry sizes

[Certora] Revamp sentinel liveness #1824

Sign in to view logs

[Certora] Revamp sentinel liveness

[Certora] Revamp sentinel liveness #1824

Triggered via pull request December 10, 2025 08:58
@QGarcheryQGarchery
synchronize #773
certora/revamp-sentinel-liveness
Status Success
Total duration 5m 8s
Artifacts –

foundry-sizes.yml

on: pull_request
sizes
5m 5s
sizes
Fit to window
Zoom out
Zoom in