Skip to content
Certora verification

chore: upgrade Solidity version from 0.8.20 to 0.8.28 #136

Sign in to view logs

chore: upgrade Solidity version from 0.8.20 to 0.8.28

chore: upgrade Solidity version from 0.8.20 to 0.8.28 #136

Triggered via push January 30, 2026 13:16
@juliagalaxyjuliagalaxy
pushed e74a618
chore/upgrade-solidity
Status Failure
Total duration 1m 35s
Artifacts –

Certora.yaml

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

Annotations

9 errors
verify (OperatorRegistryV1_2_4loops_v1, OperatorRegistryV1_2_4loops_v1.conf)
Process completed with exit code 1.
verify (OperatorRegistryV1_1, OperatorRegistryV1_1.conf)
Process completed with exit code 1.
verify (AllowlistV1, AllowlistV1.conf)
Process completed with exit code 1.
verify (OperatorRegistryV1_2_2loops, OperatorRegistryV1_2_2loops.conf)
Process completed with exit code 1.
verify (OperatorRegistryV1_2_4loops_v2, OperatorRegistryV1_2_4loops_v2.conf)
Process completed with exit code 1.
verify (OperatorRegistryV1_3, OperatorRegistryV1_3.conf)
Process completed with exit code 1.
verify (RedeemManagerV1, RedeemManagerV1.conf)
Process completed with exit code 1.
verify (RiverV1, RiverV1.conf)
Process completed with exit code 1.
verify (SharesManagerV1, SharesManagerV1.conf)
Process completed with exit code 1.