Repository navigation

Kani

Stop main's CI runs cancelling each other #164

Job	Run time
Proof unit tests (betting-market)	18s
Proof unit tests (token-swap)	14s
Proof unit tests (vault-strategy)	16s
Proof unit tests (order-book)	22s
Proof unit tests (lending)	10s
Proof unit tests (prop-amm)	16s
Proof unit tests (escrow)	18s
Proof unit tests (token-fundraiser)	17s
Proof unit tests (options)	19s
Kani proofs (${{ matrix.program }})	0s
	2m 30s