Skip to content
certora

fix: make access type external #38

Sign in to view logs

fix: make access type external

fix: make access type external #38

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (AToken.conf)
2m 30s
verify (AToken.conf)
4m 26s
verify (ReserveConfiguration.conf)
1m 35s
verify (ReserveConfiguration.conf)
1m 12s
verify (UserConfiguration.conf)
1m 14s
verify (UserConfiguration.conf)
4m 5s
verify (VariableDebtToken.conf)
1m 26s
verify (VariableDebtToken.conf)
4m 13s
verify (NEW-pool-no-summarizations.conf)
16m 14s
verify (NEW-pool-no-summarizations.conf)
4m 58s
verify (NEW-pool-simple-properties.conf --rule cannotDepositInInactiveReserve --msg "cannotDeposi...
17m 21s
verify (NEW-pool-simple-properties.conf --rule cannotDepositInInactiveReserve --msg "cannotDeposi...
7m 7s
verify (NEW-pool-simple-properties.conf --rule cannotDepositInFrozenReserve --msg "cannotDepositI...
18m 36s
verify (NEW-pool-simple-properties.conf --rule cannotDepositInFrozenReserve --msg "cannotDepositI...
6m 50s
verify (NEW-pool-simple-properties.conf --rule cannotDepositZeroAmount --msg "cannotDepositZeroAm...
16m 27s
verify (NEW-pool-simple-properties.conf --rule cannotDepositZeroAmount --msg "cannotDepositZeroAm...
15m 39s
verify (NEW-pool-simple-properties.conf --rule cannotWithdrawZeroAmount --msg "cannotWithdrawZero...
12m 4s
verify (NEW-pool-simple-properties.conf --rule cannotWithdrawZeroAmount --msg "cannotWithdrawZero...
6m 9s
verify (NEW-pool-simple-properties.conf --rule cannotWithdrawFromInactiveReserve --msg "cannotWit...
15m 34s
verify (NEW-pool-simple-properties.conf --rule cannotWithdrawFromInactiveReserve --msg "cannotWit...
6m 20s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowZeroAmount --msg "cannotBorrowZeroAmou...
28m 38s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowZeroAmount --msg "cannotBorrowZeroAmou...
27m 18s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowOnInactiveReserve --msg "cannotBorrowO...
27m 57s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowOnInactiveReserve --msg "cannotBorrowO...
19m 6s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowOnReserveDisabledForBorrowing --msg "c...
30m 11s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowOnReserveDisabledForBorrowing --msg "c...
26m 3s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowOnFrozenReserve --msg "cannotBorrowOnF...
29m 37s
verify (NEW-pool-simple-properties.conf --rule cannotBorrowOnFrozenReserve --msg "cannotBorrowOnF...
18m 10s
6h 11m 0s