Formal Ledger Specs

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ledger-pdf	20m 14s
Formal-Ledger	7m 14s
Ledger-hs	8m 9s
MAlonzo	8m 35s
Midnight	8m 11s
Uploads	9s
	52m 32s