Formal Ledger Specs

Exported `ledgersStep` #2452

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
MAlonzo	8m 22s
Ledger-hs	8m 4s
Formal-Ledger	7m 6s
Ledger-pdf	21m 4s
Midnight	15m 16s
Uploads	6s
	59m 58s