Skip to content
certora-steward

Aave Steward: rm max variable borrow rate check #191

Sign in to view logs

Aave Steward: rm max variable borrow rate check

Aave Steward: rm max variable borrow rate check #191

Triggered via pull request January 2, 2025 11:02
@DhairyaSethiDhairyaSethi
opened #436
fix/max-borrow-rate-check
Status Failure
Total duration 1m 40s
Artifacts –

certora-steward.yml

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

Annotations

4 errors and 4 warnings
verify (GhoGsmSteward.conf)
Process completed with exit code 1.
verify (GhoBucketSteward.conf)
Process completed with exit code 1.
verify (GhoCcipSteward.conf)
Process completed with exit code 1.
verify (GhoAaveSteward.conf)
Process completed with exit code 1.
verify (GhoGsmSteward.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (GhoBucketSteward.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (GhoCcipSteward.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (GhoAaveSteward.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636