Skip to content
Certora

fix invariants tests #476

Sign in to view logs

fix invariants tests

fix invariants tests #476

Triggered via pull request March 7, 2024 13:30
@MathisGDMathisGD
synchronize #595
ci/invariant
Status Success
Total duration 27m 11s
Artifacts –

certora.yml

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

Annotations

22 warnings
verify (Transfer)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
verify (Transfer)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (Liveness)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
verify (Liveness)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (AssetsAccounting)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
verify (AssetsAccounting)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (Health)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
verify (Health)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (LibSummary)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
verify (LibSummary)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (RatioMath)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
verify (RatioMath)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (Reverts)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
verify (Reverts)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (ConsistentState)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
verify (ConsistentState)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (Reentrancy)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
verify (Reentrancy)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (ExactMath)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
verify (ExactMath)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (AccrueInterest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
verify (AccrueInterest)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.