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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test
6m 33s
test
6m 33s
test
6m 33s
formal-verfication (termAuction.conf)
2m 33s
formal-verfication (termAuction.conf)
2m 33s
formal-verfication (termAuction.conf)
2m 33s
formal-verfication (termAuctionBidLocker.conf)
7m 29s
formal-verfication (termAuctionBidLocker.conf)
7m 29s
formal-verfication (termAuctionBidLocker.conf)
7m 29s
formal-verfication (termAuctionBidLocker-locking.conf)
15m 28s
formal-verfication (termAuctionBidLocker-locking.conf)
20m 2s
formal-verfication (termAuctionBidLocker-locking.conf)
20m 2s
formal-verfication (termAuctionBidLocker-lockingReverts.conf)
15m 29s
formal-verfication (termAuctionBidLocker-lockingReverts.conf)
15m 29s
formal-verfication (termAuctionBidLocker-lockingReverts.conf)
2h 5m 45s
formal-verfication (termAuctionBidLocker-stateVariables.conf)
15m 29s
formal-verfication (termAuctionBidLocker-stateVariables.conf)
15m 29s
formal-verfication (termAuctionBidLocker-stateVariables.conf)
15m 29s
formal-verfication (termAuctionOfferLocker.conf)
5m 33s
formal-verfication (termAuctionOfferLocker.conf)
5m 33s
formal-verfication (termAuctionOfferLocker.conf)
5m 33s
formal-verfication (termAuctionOfferLocker-stateVariables.conf)
6m 0s
formal-verfication (termAuctionOfferLocker-stateVariables.conf)
6m 0s
formal-verfication (termAuctionOfferLocker-stateVariables.conf)
6m 0s
formal-verfication (termRepoCollateralManager-batchDefault.conf)
15m 27s
formal-verfication (termRepoCollateralManager-batchDefault.conf)
15m 27s
formal-verfication (termRepoCollateralManager-batchDefault.conf)
15m 27s
formal-verfication (termRepoCollateralManager-batchLiquidation.conf)
15m 28s
formal-verfication (termRepoCollateralManager-batchLiquidation.conf)
15m 28s
formal-verfication (termRepoCollateralManager-batchLiquidation.conf)
15m 28s
formal-verfication (termRepoCollateralManager-batchLiquidationWithRepoToken.conf)
15m 28s
formal-verfication (termRepoCollateralManager-batchLiquidationWithRepoToken.conf)
15m 28s
formal-verfication (termRepoCollateralManager-batchLiquidationWithRepoToken.conf)
15m 28s
formal-verfication (termRepoCollateralManager-stateVariables.conf)
15m 27s
formal-verfication (termRepoCollateralManager-stateVariables.conf)
15m 27s
formal-verfication (termRepoCollateralManager-stateVariables.conf)
15m 27s
formal-verfication (termRepoCollateralManager.conf)
15m 27s
formal-verfication (termRepoCollateralManager.conf)
15m 27s
formal-verfication (termRepoCollateralManager.conf)
15m 27s
formal-verfication (termRepoLocker.conf)
3m 42s
formal-verfication (termRepoLocker.conf)
3m 42s
formal-verfication (termRepoLocker.conf)
3m 42s
formal-verfication (termRepoRolloverManager.conf)
6m 15s
formal-verfication (termRepoRolloverManager.conf)
6m 15s
formal-verfication (termRepoRolloverManager.conf)
6m 15s
formal-verfication (termRepoServicer.conf)
15m 28s
formal-verfication (termRepoServicer.conf)
15m 28s
formal-verfication (termRepoServicer.conf)
15m 28s
formal-verfication (termRepoServicer-lockFulfill.conf)
6m 53s
formal-verfication (termRepoServicer-lockFulfill.conf)
6m 53s
formal-verfication (termRepoServicer-lockFulfill.conf)
6m 53s
formal-verfication (termRepoServicer-lockFulfillReverts.conf)
15m 8s
formal-verfication (termRepoServicer-lockFulfillReverts.conf)
15m 8s
formal-verfication (termRepoServicer-lockFulfillReverts.conf)
15m 8s
formal-verfication (termRepoServicer-mintCollapse.conf)
15m 26s
formal-verfication (termRepoServicer-mintCollapse.conf)
15m 26s
formal-verfication (termRepoServicer-mintCollapse.conf)
15m 26s
formal-verfication (termRepoServicer-mintCollapseReverts.conf)
15m 25s
formal-verfication (termRepoServicer-mintCollapseReverts.conf)
15m 25s
formal-verfication (termRepoServicer-mintCollapseReverts.conf)
15m 25s
formal-verfication (termRepoServicer-repaymentsRedemptions.conf)
15m 26s
formal-verfication (termRepoServicer-repaymentsRedemptions.conf)
15m 26s
formal-verfication (termRepoServicer-repaymentsRedemptions.conf)
15m 26s
formal-verfication (termRepoServicer-repaymentsRedemptionsReverts.conf)
15m 30s
formal-verfication (termRepoServicer-repaymentsRedemptionsReverts.conf)
15m 30s
formal-verfication (termRepoServicer-repaymentsRedemptionsReverts.conf)
15m 30s
formal-verfication (termRepoServicer-stateVariables.conf)
15m 25s
formal-verfication (termRepoServicer-stateVariables.conf)
15m 25s
formal-verfication (termRepoServicer-stateVariables.conf)
15m 25s
formal-verfication (termRepoServicer.conf)
15m 27s
formal-verfication (termRepoServicer.conf)
15m 27s
formal-verfication (termRepoServicer.conf)
15m 27s
formal-verfication (termRepoToken.conf)
6m 27s
formal-verfication (termRepoToken.conf)
6m 27s
formal-verfication (termRepoToken.conf)
6m 27s
16h 54m 33s