Skip to content
Hardhat

[Certora] Fix timeouts #1171

Sign in to view logs

[Certora] Fix timeouts

[Certora] Fix timeouts #1171

Triggered via pull request June 11, 2024 15:21
@QGarcheryQGarchery
synchronize #421
certora/fix-timeouts
Status Cancelled
Total duration 7m 28s
Artifacts –

hardhat.yml

on: pull_request
Gas tests
7m 17s
Gas tests
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Gas tests
Canceling since a higher priority waiting request for 'Hardhat-refs/pull/421/merge-pull_request' exists
Gas tests
The operation was canceled.