Repository navigation

Kani

Anchor v1: send every test transaction as a v1 transaction #302

Job	Run time
Proof unit tests (token-swap)	12s
Proof unit tests (escrow)	18s
Proof unit tests (order-book)	8s
Proof unit tests (managed-fund)	13s
Proof unit tests (options)	10s
Proof unit tests (betting-market)	9s
Proof unit tests (fundraiser)	6s
Proof unit tests (lending)	12s
Proof unit tests (prop-amm)	22s
Kani proofs (${{ matrix.program }})	-1s
	1m 49s