Native

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
changes	4s
build-and-test-group-0	2m 35s
summary	6s
	2m 45s