Formal Ledger Specs

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ledger-pdf	20m 10s
MAlonzo	8m 40s
Ledger-hs	8m 20s
Formal-Ledger	7m 15s
Midnight	16m 33s
Uploads	3s
	1h 1m 1s