Formal Ledger Specs

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ledger-pdf	15m 56s
MAlonzo	8m 52s
Formal-Ledger	7m 34s
Ledger-hs	8m 35s
Midnight	8m 23s
Uploads	3s
	49m 23s