Skip to content
CI

remove specialist role from servicer specs certora #69

Sign in to view logs

remove specialist role from servicer specs certora

remove specialist role from servicer specs certora #69

Re-run triggered June 21, 2024 20:53
@aazhou1aazhou1
cd55e0f
certora-updates
Status Cancelled
Total duration 2h 5m 58s
Artifacts –

ci.yml

on: push
test
6m 33s
test
Matrix: formal-verfication
Fit to window
Zoom out
Zoom in

Annotations

28 errors and 12 warnings
formal-verfication (termRepoServicer.conf)
The job was canceled because "termRepoServicer-lockFu_2" failed.
formal-verfication (termRepoServicer.conf)
The operation was canceled.
formal-verfication (termRepoServicer-stateVariables.conf)
The job was canceled because "termRepoServicer-lockFu_2" failed.
formal-verfication (termRepoServicer-stateVariables.conf)
The operation was canceled.
formal-verfication (termRepoServicer-mintCollapse.conf)
The job was canceled because "termRepoServicer-lockFu_2" failed.
formal-verfication (termRepoServicer-mintCollapse.conf)
The operation was canceled.
formal-verfication (termRepoServicer-repaymentsRedemptionsReverts.conf)
The job was canceled because "termRepoServicer-lockFu_2" failed.
formal-verfication (termRepoServicer-repaymentsRedemptionsReverts.conf)
The operation was canceled.
formal-verfication (termRepoServicer-mintCollapseReverts.conf)
The job was canceled because "termRepoServicer-lockFu_2" failed.
formal-verfication (termRepoServicer-mintCollapseReverts.conf)
The operation was canceled.
formal-verfication (termRepoServicer.conf)
The job was canceled because "termRepoServicer-lockFu_2" failed.
formal-verfication (termRepoServicer-repaymentsRedemptions.conf)
The job was canceled because "termRepoServicer-lockFu_2" failed.
formal-verfication (termRepoServicer.conf)
The operation was canceled.
formal-verfication (termRepoServicer-repaymentsRedemptions.conf)
The operation was canceled.
formal-verfication (termRepoServicer-lockFulfillReverts.conf)
Process completed with exit code 1.
formal-verfication (termRepoCollateralManager-stateVariables.conf)
The job was canceled because "termRepoServicer-lockFu_2" failed.
formal-verfication (termRepoCollateralManager.conf)
The job was canceled because "termRepoServicer-lockFu_2" failed.
formal-verfication (termRepoCollateralManager.conf)
The operation was canceled.
formal-verfication (termRepoCollateralManager-stateVariables.conf)
The operation was canceled.
formal-verfication (termRepoCollateralManager-batchLiquidationWithRepoToken.conf)
The job was canceled because "termRepoServicer-lockFu_2" failed.
formal-verfication (termRepoCollateralManager-batchLiquidationWithRepoToken.conf)
The operation was canceled.
formal-verfication (termRepoCollateralManager-batchLiquidation.conf)
The job was canceled because "termRepoServicer-lockFu_2" failed.
formal-verfication (termRepoCollateralManager-batchLiquidation.conf)
The operation was canceled.
formal-verfication (termRepoCollateralManager-batchDefault.conf)
The job was canceled because "termRepoServicer-lockFu_2" failed.
formal-verfication (termRepoCollateralManager-batchDefault.conf)
The operation was canceled.
formal-verfication (termAuctionBidLocker-stateVariables.conf)
The job was canceled because "termRepoServicer-lockFu_2" failed.
formal-verfication (termAuctionBidLocker-stateVariables.conf)
The operation was canceled.
formal-verfication (termAuctionBidLocker-lockingReverts.conf)
Process completed with exit code 1.
test
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 (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 (termRepoServicer-lockFulfillReverts.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 (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 (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 (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.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 (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 (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 (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/.