Formal Ledger Specs

Added `reg` cert #2499

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ledger-pdf	19m 32s
Formal-Ledger	7m 14s
Ledger-hs	7m 8s
MAlonzo	7m 55s
Midnight	7m 40s
Uploads	0s
	49m 29s