Formal Ledger Specs

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ledger-hs	8m 20s
Formal-Ledger	7m 2s
Ledger-pdf	14m 37s
MAlonzo	8m 33s
Midnight	8m 52s
Uploads	5s
	47m 29s