Skip to content
certora-stata

fix: fixing fv failures after code update & upgrade ci (#76) #61

Sign in to view logs

fix: fixing fv failures after code update & upgrade ci (#76)

fix: fixing fv failures after code update & upgrade ci (#76) #61

Triggered via pull request November 19, 2024 08:39
@sakulstrasakulstra
synchronize #77
certora-patch
Status Failure
Total duration 21m 2s
Artifacts –

certora-stata.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

1 error
verify (verifyERC4626DepositSummarization.conf --rule depositCheckIndexGRayAssert1 depositATokens...
GitHub Actions has encountered an internal error when running your job.