Skip to content
Kani

Keep an Anchor v1 copy of every Anchor example, tested in its own CI job #141

Sign in to view logs

Keep an Anchor v1 copy of every Anchor example, tested in its own CI job

Keep an Anchor v1 copy of every Anchor example, tested in its own CI job #141

Run time

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