Skip to content
certora-review-controller

fix: update oz and solidity utils lib #28

Sign in to view logs

fix: update oz and solidity utils lib

fix: update oz and solidity utils lib #28

Triggered via pull request December 10, 2024 11:03
@sendrasendra
synchronize #95
fix/update-oz-lib
Status Failure
Total duration 45s
Artifacts –

certora-review-controller.yml

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

Annotations

1 error and 1 warning
verify (verifyCrossChainControllerWithEmergency.conf)
Process completed with exit code 1.
verify (verifyCrossChainControllerWithEmergency.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636