Formal Ledger Specs

Equivalence proof between spec and conformance rules (#585) #2534

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Formal-Ledger	7m 22s
Ledger-hs	8m 28s
MAlonzo	8m 47s
Ledger-pdf	19m 57s
Midnight	8m 30s
Uploads	5s
	53m 9s