Skip to content

chore: fix typo in comment #388

chore: fix typo in comment

chore: fix typo in comment #388

Re-run triggered December 25, 2024 10:27
Status Failure
Total duration 1m 2s
Artifacts

certora.yml

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

Annotations

14 errors and 14 warnings
verify (DistinctIdentifiers)
Process completed with exit code 1.
verify (ConsistentState)
Process completed with exit code 1.
verify (Immutability)
Process completed with exit code 1.
verify (Enabled)
Process completed with exit code 1.
verify (Range)
Process completed with exit code 1.
verify (LastUpdated)
Process completed with exit code 1.
verify (PendingValues)
Process completed with exit code 1.
verify (Reentrancy)
Process completed with exit code 1.
verify (MarketInteractions)
Process completed with exit code 1.
verify (Timelock)
Process completed with exit code 1.
verify (Roles)
Process completed with exit code 1.
verify (Tokens)
Process completed with exit code 1.
verify (Liveness)
Process completed with exit code 1.
verify (Reverts)
Process completed with exit code 1.
verify (DistinctIdentifiers)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (ConsistentState)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (Immutability)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (Enabled)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (Range)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (LastUpdated)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (PendingValues)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (Reentrancy)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (MarketInteractions)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (Timelock)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (Roles)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (Tokens)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (Liveness)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (Reverts)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636