Formal Ledger Specs

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ledger-pdf	17m 59s
MAlonzo	6m 48s
Formal-Ledger	6m 37s
Ledger-hs	6m 37s
Midnight	6m 50s
Uploads	0s
	44m 51s