Skip to content
CI

[Certora] Remove ghost execution #909

Sign in to view logs

[Certora] Remove ghost execution

[Certora] Remove ghost execution #909

Triggered via pull request February 12, 2025 08:28
@QGarcheryQGarchery
opened #108
certora/remove-ghost-execution
Status Success
Total duration 2m 4s
Artifacts –

test.yml

on: pull_request
Foundry project
1m 53s
Foundry project
Fit to window
Zoom out
Zoom in