Repository navigation

Kani

Perps: fix the funding rate at pool creation and cap it #239

Job	Run time
Proof unit tests (order-book)	15s
Proof unit tests (lending)	16s
Proof unit tests (escrow)	20s
Proof unit tests (prop-amm)	23s
Proof unit tests (managed-fund)	9s
Proof unit tests (betting-market)	9s
Proof unit tests (options)	10s
Proof unit tests (token-swap)	8s
Proof unit tests (fundraiser)	8s
Kani proofs (${{ matrix.program }})	0s
	1m 58s