Skip to content
Certora verification

Replace dependency eslint-plugin-node with eslint-plugin-n ^14.0.0 #9

Sign in to view logs

Replace dependency eslint-plugin-node with eslint-plugin-n ^14.0.0

Replace dependency eslint-plugin-node with eslint-plugin-n ^14.0.0 #9

Triggered via push December 3, 2024 23:52
@renovaterenovate[bot]
pushed b71f997
renovate/eslint-plugin-node-replacement
Status Failure
Total duration 2h 5m 41s
Artifacts –

Certora.yaml

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

Annotations

1 error and 9 warnings
verify (OperatorRegistryV1_2_4loops_v2, OperatorRegistryV1_2_4loops_v2.conf)
Process completed with exit code 1.
verify (AllowlistV1, AllowlistV1.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (OperatorRegistryV1_2_2loops, OperatorRegistryV1_2_2loops.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (OperatorRegistryV1_1, OperatorRegistryV1_1.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (RedeemManagerV1, RedeemManagerV1.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (RiverV1, RiverV1.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (SharesManagerV1, SharesManagerV1.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (OperatorRegistryV1_3, OperatorRegistryV1_3.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (OperatorRegistryV1_2_4loops_v1, OperatorRegistryV1_2_4loops_v1.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (OperatorRegistryV1_2_4loops_v2, OperatorRegistryV1_2_4loops_v2.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636