Formal Ledger Specs

Added `reg` cert, fixed hashing of `VKey`s #2515

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Formal-Ledger	7m 27s
Ledger-pdf	25m 13s
Ledger-hs	10m 23s
MAlonzo	8m 28s
Midnight	11m 38s
Uploads	3s
	1h 3m 12s