Formal Ledger Specs

Added `reg` cert #2494

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Formal-Ledger	6m 59s
Ledger-pdf	20m 20s
MAlonzo	8m 38s
Ledger-hs	8m 4s
Midnight	17m 7s
Uploads	3s
	1h 1m 11s