Skip to content

feat: add l2Pool and configurator diffs #20

feat: add l2Pool and configurator diffs

feat: add l2Pool and configurator diffs #20

Triggered via pull request October 1, 2024 13:34
@sakulstrasakulstra
synchronize #35
feat/diffs
Status Cancelled
Total duration 2m 48s
Artifacts

certora-basic.yml

on: pull_request
Matrix: verify
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

1 error
certora
Canceling since a higher priority waiting request for 'certora-35' exists