Formal Ledger Specs

Mark `Ledger.Conway.Conformance.Equivalence` safe (#645) #2622

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Formal-Ledger	9m 13s
Ledger-pdf	15m 55s
Ledger-hs	9m 57s
MAlonzo	18s
Midnight	10m 43s
Uploads	18s
	46m 24s