Formal Ledger Specs

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
MAlonzo	8m 59s
Ledger-pdf	20m 34s
Ledger-hs	8m 9s
Formal-Ledger	7m 35s
Midnight	8m 15s
Uploads	5s
	53m 37s