Skip to content
Certora

Merge pull request #622 from morpho-org/certora/supply-ratio-liquidate #326

Sign in to view logs

Merge pull request #622 from morpho-org/certora/supply-ratio-liquidate

Merge pull request #622 from morpho-org/certora/supply-ratio-liquidate #326

Triggered via push December 5, 2023 15:46
@QGarcheryQGarchery
pushed 116dade
main
Status Success
Total duration 28m 56s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

certora.yml

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

Annotations

11 warnings
verify (Health)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (AccrueInterest)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (Transfer)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (Liveness)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (LibSummary)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (ExitLiquidity)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (Reverts)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (RatioMath)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (Reentrancy)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (ConsistentState)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (ExactMath)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.