Formal Ledger Specs

Allow legacy `dereg` certs #2609

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
MAlonzo	10m 27s
Formal-Ledger	9m 13s
Ledger-pdf	22m 16s
Ledger-hs	10m 2s
Midnight	17m 56s
Uploads	6s
	1h 10m 0s