Formal Ledger Specs

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ledger-hs	8m 23s
MAlonzo	8m 41s
Formal-Ledger	7m 16s
Ledger-pdf	14m 23s
Midnight	8m 44s
Uploads	4s
	47m 31s