CI

DISPATCHER true verifyMintExposureAccess #99

Sign in to view logs

Triggered via push June 26, 2024 06:39

aazhou1

certora-updates

Status Failure

Total duration 2h 10m 43s

Artifacts –

ci.yml

on: push

Matrix: formal-verfication-beta

Matrix: formal-verfication

Annotations

12 errors and 22 warnings

formal-verfication-beta (termRepoServicer-rolloverReverts.conf)

Process completed with exit code 1.

formal-verfication-beta (termRepoServicer.conf)

The job was canceled because "termRepoServicer-rollover" failed.

formal-verfication-beta (termRepoServicer.conf)

The operation was canceled.

formal-verfication-beta (termRepoServicer-repaymentsReverts.conf)

The job was canceled because "termRepoServicer-rollover" failed.

formal-verfication-beta (termRepoServicer-repaymentsReverts.conf)

The operation was canceled.

formal-verfication-beta (termRepoServicer-lockFulfillReverts.conf)

The job was canceled because "termRepoServicer-rollover" failed.

formal-verfication-beta (termRepoServicer-lockFulfillReverts.conf)

The operation was canceled.

formal-verfication-beta (termRepoServicer-redemptionsReverts.conf)

The job was canceled because "termRepoServicer-rollover" failed.

formal-verfication-beta (termRepoServicer-redemptionsReverts.conf)

The operation was canceled.

formal-verfication (termAuctionBidLocker-lockingReverts.conf)

Process completed with exit code 1.

formal-verfication (termRepoServicer-mintIntegrity.conf)

The job was canceled because "termAuctionBidLocker-lo_2" failed.

formal-verfication (termRepoServicer-mintIntegrity.conf)

The operation was canceled.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: codecov/codecov-action@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

formal-verfication-beta (termRepoServicer-rolloverReverts.conf)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

formal-verfication (termRepoLocker.conf)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

formal-verfication (termAuction.conf)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

formal-verfication (termRepoToken.conf)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

formal-verfication (termAuctionOfferLocker-stateVariables.conf)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

formal-verfication (termRepoRolloverManager.conf)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

formal-verfication (termAuctionBidLocker.conf)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

formal-verfication (termRepoCollateralManager.conf)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

formal-verfication (termRepoServicer-stateVariables.conf)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

formal-verfication (termRepoServicer-lockFulfill.conf)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

formal-verfication (termAuctionOfferLocker.conf)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

formal-verfication (termAuctionBidLocker-stateVariables.conf)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

formal-verfication (termRepoServicer-mintCollapse.conf)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

formal-verfication (termRepoCollateralManager-batchDefault.conf)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

formal-verfication (termRepoCollateralManager-batchLiquidation.conf)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

formal-verfication (termRepoServicer-mintCollapseReverts.conf)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

formal-verfication (termAuctionBidLocker-locking.conf)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

formal-verfication (termRepoServicer-repaymentsRedemptions.conf)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

formal-verfication (termRepoCollateralManager-batchLiquidationWithRepoToken.conf)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

formal-verfication (termRepoCollateralManager-stateVariables.conf)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

formal-verfication (termAuctionBidLocker-lockingReverts.conf)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.