Anchor

Add Kani formal-verification proofs for the finance programs (+ two program hardenings) #442

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
changes	8s
build-and-test-group-0	4m 32s
summary	4s
	4m 44s