Skip to content
Kani

Replace the Whitelist transfer hook with Allow List, and remove Block List #335

Sign in to view logs

Replace the Whitelist transfer hook with Allow List, and remove Block List

Replace the Whitelist transfer hook with Allow List, and remove Block List #335

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Proof unit tests (escrow)
8s
Proof unit tests (order-book)
6s
Proof unit tests (options)
19s
Proof unit tests (fundraiser)
6s
Proof unit tests (lending)
17s
Proof unit tests (token-swap)
25s
Proof unit tests (managed-fund)
8s
Proof unit tests (betting-market)
11s
Proof unit tests (prop-amm)
7s
Kani proofs (${{ matrix.program }})
0s
1m 47s