Fix: borrow, withdraw and withdrawCollateral natspec #420
Triggered via pull request
December 18, 2023 16:27
Status
Success
Total duration
48m 36s
Artifacts
–
Annotations
11 warnings
verify (Transfer)
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 (Liveness)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
|
verify (AssetsAccounting)
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 (Reentrancy)
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.
|
verify (RatioMath)
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 (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.
|