Kani

Merge pull request #93 from quicknode/claude/solana-examples-ci-asm-j… #28

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

Provide feedback