Formal Ledger Specs

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ledger-hs	8m 4s
MAlonzo	8m 31s
Formal-Ledger	7m 48s
Ledger-pdf	20m 14s
Midnight	14m 22s
Uploads	7s
	59m 6s