Merge pull request #83 from morpho-org/chore/small-fixes #154

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (Immutability)	3m 59s
verify (Liveness)	4m 8s
verify (Reentrancy)	4m 4s
	12m 11s