Formal Ledger Specs

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ledger-hs	6m 6s
MAlonzo	6m 29s
Ledger-pdf	16m 37s
Formal-Ledger	6m 5s
Midnight	6m 20s
Uploads	0s
	41m 37s