Skip to content

fix: rename harness to helpers #649

fix: rename harness to helpers

fix: rename harness to helpers #649

Re-run triggered January 14, 2025 19:03
Status Failure
Total duration 33s
Artifacts

certora.yml

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

Annotations

12 errors and 12 warnings
verify (AssetsAccounting)
Process completed with exit code 1.
verify (AccrueInterest)
Process completed with exit code 1.
verify (Health)
Process completed with exit code 1.
verify (StayHealthy)
Process completed with exit code 1.
verify (Reverts)
Process completed with exit code 1.
verify (LibSummary)
Process completed with exit code 1.
verify (Liveness)
Process completed with exit code 1.
verify (ExactMath)
Process completed with exit code 1.
verify (ExchangeRate)
Process completed with exit code 1.
verify (ConsistentState)
Process completed with exit code 1.
verify (Transfer)
Process completed with exit code 1.
verify (Reentrancy)
Process completed with exit code 1.
verify (AssetsAccounting)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (AccrueInterest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (Health)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (StayHealthy)
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
verify (LibSummary)
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 (ExactMath)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (ExchangeRate)
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 (Transfer)
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