Formal Ledger Specs

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
MAlonzo	8m 36s
Ledger-pdf	20m 11s
Formal-Ledger	7m 9s
Ledger-hs	8m 5s
Midnight	16m 5s
Uploads	4s
	1h 0m 10s