Skip to content
certora

fix yml to 7.0.7 #1

Sign in to view logs

fix yml to 7.0.7

fix yml to 7.0.7 #1

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (AToken.conf)
29s
verify (AToken.conf)
1m 23s
verify (ReserveConfiguration.conf)
41s
verify (ReserveConfiguration.conf)
1m 12s
verify (UserConfiguration.conf)
26s
verify (UserConfiguration.conf)
1m 42s
verify (VariableDebtToken.conf)
29s
verify (VariableDebtToken.conf)
1m 19s
verify (NEW-pool-no-summarizations.conf)
49s
verify (NEW-pool-no-summarizations.conf)
14m 51s
verify (NEW-pool-simple-properties.conf --rule cannotDepositInInactiveReserve --msg "cannotDeposi...
43s
verify (NEW-pool-simple-properties.conf --rule cannotDepositInInactiveReserve --msg "cannotDeposi...
5m 24s
verify (NEW-pool-simple-properties.conf --rule cannotDepositInFrozenReserve --msg "cannotDepositI...
42s
verify (NEW-pool-simple-properties.conf --rule cannotDepositInFrozenReserve --msg "cannotDepositI...
5m 11s
verify (NEW-pool-simple-properties.conf --rule cannotDepositZeroAmount --msg "cannotDepositZeroAm...
41s
verify (NEW-pool-simple-properties.conf --rule cannotDepositZeroAmount --msg "cannotDepositZeroAm...
6m 46s
verify (NEW-pool-simple-properties.conf --rule cannotWithdrawZeroAmount --msg "cannotWithdrawZero...
56s
verify (NEW-pool-simple-properties.conf --rule cannotWithdrawZeroAmount --msg "cannotWithdrawZero...
4m 9s
verify (NEW-pool-simple-properties.conf --rule cannotWithdrawFromInactiveReserve --msg "cannotWit...
48s
verify (NEW-pool-simple-properties.conf --rule cannotWithdrawFromInactiveReserve --msg "cannotWit...
7m 57s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowZeroAmount --msg "cannotBorrowZeroAmou...
45s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowZeroAmount --msg "cannotBorrowZeroAmou...
14m 49s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowOnInactiveReserve --msg "cannotBorrowO...
45s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowOnInactiveReserve --msg "cannotBorrowO...
14m 49s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowOnReserveDisabledForBorrowing --msg "c...
44s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowOnReserveDisabledForBorrowing --msg "c...
14m 48s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowOnFrozenReserve --msg "cannotBorrowOnF...
42s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowOnFrozenReserve --msg "cannotBorrowOnF...
14m 48s
1h 58m 48s