Skip to content
Back to pull request #696

[Certora] Quick refactor #90

Sign in to view logs

[Certora] Quick refactor

[Certora] Quick refactor #90

Triggered via pull request October 9, 2024 15:42
@QGarcheryQGarchery
synchronize #696
certora/quick-refactor
Status Success
Total duration 10m 23s
Artifacts –

halmos.yml

on: pull_request
verify
10m 11s
verify
Fit to window
Zoom out
Zoom in