Kani

Merge pull request #104 from quicknode/claude/anchor-package-manager-… #62

Job	Run time
Proof unit tests (escrow)	14s
Proof unit tests (betting-market)	14s
Proof unit tests (vault-strategy)	16s
Proof unit tests (order-book)	14s
Proof unit tests (token-fundraiser)	15s
Proof unit tests (lending)	15s
Proof unit tests (token-swap)	16s
Kani proofs (${{ matrix.program }})	-8s
	1m 36s

Provide feedback