Skip to content
Test

Certora review #182

Sign in to view logs

Certora review

Certora review #182

Triggered via pull request November 18, 2024 18:02
@MichaelMoramiMichaelMorami
synchronize #70
Certora:certora-squashed
Status Cancelled
Total duration 5m 5s
Artifacts –

test.yml

on: pull_request
lint
25s
lint
Foundry build n test
4m 35s
Foundry build n test
Fit to window
Zoom out
Zoom in

Annotations

1 error
Foundry build n test
Canceling since a higher priority waiting request for 'Test-70' exists