Skip to content
Kani

Handle two-line anchor version output breaking CI #45

Sign in to view logs

Handle two-line anchor version output breaking CI

Handle two-line anchor version output breaking CI #45

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Proof unit tests (token-swap)
15s
Proof unit tests (token-fundraiser)
13s
Proof unit tests (betting-market)
17s
Proof unit tests (lending)
15s
Proof unit tests (vault-strategy)
16s
Proof unit tests (escrow)
14s
Proof unit tests (order-book)
14s
Kani proofs (${{ matrix.program }})
-1s
1m 43s