Skip to content
Kani

Accrue interest and funding by wall-clock time instead of slots #195

Sign in to view logs

Accrue interest and funding by wall-clock time instead of slots

Accrue interest and funding by wall-clock time instead of slots #195

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Proof unit tests (escrow)
13s
Proof unit tests (betting-market)
16s
Proof unit tests (lending)
9s
Proof unit tests (prop-amm)
6s
Proof unit tests (vault-strategy)
7s
Proof unit tests (options)
13s
Proof unit tests (token-fundraiser)
20s
Proof unit tests (order-book)
18s
Proof unit tests (token-swap)
15s
Kani proofs (${{ matrix.program }})
0s
1m 57s