Skip to content
Halmos

Fix stay healthy liquidate rule depending on cache #158

Sign in to view logs

Fix stay healthy liquidate rule depending on cache

Fix stay healthy liquidate rule depending on cache #158

Triggered via pull request January 29, 2025 16:45
@QGarcheryQGarchery
synchronize #718
certora/cache-stay-healthy
Status Success
Total duration 8m 12s
Artifacts –

halmos.yml

on: pull_request
verify
8m 1s
verify
Fit to window
Zoom out
Zoom in