Skip to content
CI

fv lock bids reverts fix #109

Sign in to view logs

fv lock bids reverts fix

fv lock bids reverts fix #109

Re-run triggered October 1, 2024 22:45
@aazhou1aazhou1
c332694
fv-lock-bids-fix
Status Failure
Total duration 2h 31m 48s
Artifacts –

ci.yml

on: push
test
7m 3s
test
Matrix: formal-verfication-beta
Matrix: formal-verfication
Fit to window
Zoom out
Zoom in

Annotations

40 errors and 8 warnings
formal-verfication (termAuction.conf)
Process completed with exit code 1.
formal-verfication (termAuctionBidLocker-locking.conf)
The job was canceled because "termAuction_conf" failed.
formal-verfication (termAuctionBidLocker-locking.conf)
The operation was canceled.
formal-verfication (termAuctionBidLocker-lockingReverts.conf)
The job was canceled because "termAuction_conf" failed.
formal-verfication (termAuctionBidLocker-lockingReverts.conf)
The operation was canceled.
formal-verfication (termAuctionBidLocker-stateVariables.conf)
The job was canceled because "termAuction_conf" failed.
formal-verfication (termAuctionBidLocker-stateVariables.conf)
The operation was canceled.
formal-verfication (termRepoCollateralManager.conf)
The job was canceled because "termAuction_conf" failed.
formal-verfication (termRepoCollateralManager.conf)
The operation was canceled.
formal-verfication (termRepoServicer-mintIntegrity.conf)
The job was canceled because "termAuction_conf" failed.
formal-verfication (termRepoServicer-mintIntegrity.conf)
The operation was canceled.
formal-verfication (termAuctionOfferLocker.conf)
The job was canceled because "termAuction_conf" failed.
formal-verfication (termAuctionOfferLocker.conf)
The operation was canceled.
formal-verfication (termRepoCollateralManager-stateVariables.conf)
The job was canceled because "termAuction_conf" failed.
formal-verfication (termRepoServicer-stateVariables.conf)
The job was canceled because "termAuction_conf" failed.
formal-verfication (termRepoCollateralManager-stateVariables.conf)
The operation was canceled.
formal-verfication (termRepoServicer-stateVariables.conf)
The operation was canceled.
formal-verfication (termRepoCollateralManager-batchLiquidationWithRepoToken.conf)
The job was canceled because "termAuction_conf" failed.
formal-verfication (termRepoCollateralManager-batchLiquidationWithRepoToken.conf)
The operation was canceled.
formal-verfication (termRepoServicer-repaymentsRedemptions.conf)
The job was canceled because "termAuction_conf" failed.
formal-verfication (termRepoServicer-lockFulfill.conf)
The job was canceled because "termAuction_conf" failed.
formal-verfication (termRepoServicer-repaymentsRedemptions.conf)
The operation was canceled.
formal-verfication (termRepoServicer-lockFulfill.conf)
The operation was canceled.
formal-verfication (termRepoServicer-mintCollapse.conf)
The job was canceled because "termAuction_conf" failed.
formal-verfication (termRepoServicer-mintCollapse.conf)
The operation was canceled.
formal-verfication (termRepoServicer-mintCollapseReverts.conf)
The job was canceled because "termAuction_conf" failed.
formal-verfication (termRepoServicer-mintCollapseReverts.conf)
The operation was canceled.
formal-verfication (termAuctionBidLocker.conf)
The job was canceled because "termAuction_conf" failed.
formal-verfication (termAuctionBidLocker.conf)
The operation was canceled.
formal-verfication (termAuctionOfferLocker-stateVariables.conf)
The job was canceled because "termAuction_conf" failed.
formal-verfication (termAuctionOfferLocker-stateVariables.conf)
The operation was canceled.
formal-verfication (termRepoRolloverManager.conf)
The job was canceled because "termAuction_conf" failed.
formal-verfication (termRepoRolloverManager.conf)
The operation was canceled.
formal-verfication (termRepoToken.conf)
The job was canceled because "termAuction_conf" failed.
formal-verfication (termRepoToken.conf)
The operation was canceled.
formal-verfication (termRepoCollateralManager-batchDefault.conf)
The job was canceled because "termAuction_conf" failed.
formal-verfication (termRepoCollateralManager-batchDefault.conf)
The operation was canceled.
formal-verfication (termRepoCollateralManager-batchLiquidation.conf)
The job was canceled because "termAuction_conf" failed.
formal-verfication (termRepoCollateralManager-batchLiquidation.conf)
The operation was canceled.
formal-verfication-beta (termRepoServicer-rolloverReverts.conf)
Process completed with exit code 1.
test
The following actions use a deprecated Node.js version and will be forced to run on node20: codecov/codecov-action@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
formal-verfication-beta (termRepoServicer.conf)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
formal-verfication-beta (termRepoServicer-repaymentsReverts.conf)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
formal-verfication-beta (termRepoServicer-redemptionsReverts.conf)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
formal-verfication-beta (termRepoServicer-lockFulfillReverts.conf)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
formal-verfication (termRepoLocker.conf)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
formal-verfication (termAuction.conf)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
formal-verfication-beta (termRepoServicer-rolloverReverts.conf)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/