Repository navigation

Kani

Move the Anchor v1 examples to Anchor 1.2.1 #307

Job	Run time
Proof unit tests (escrow)	33s
Proof unit tests (options)	22s
Proof unit tests (lending)	7s
Proof unit tests (order-book)	20s
Proof unit tests (fundraiser)	14s
Proof unit tests (betting-market)	8s
Proof unit tests (token-swap)	16s
Proof unit tests (prop-amm)	8s
Proof unit tests (managed-fund)	27s
Kani proofs (${{ matrix.program }})	-1s
	2m 34s