Skip to content
Kani

vault-strategy: index-seeded strategies, auto-deploying deposits, and set_weight #30

Sign in to view logs

vault-strategy: index-seeded strategies, auto-deploying deposits, and set_weight

vault-strategy: index-seeded strategies, auto-deploying deposits, and set_weight #30

Run time

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