Formal Ledger Specs

Added `utxowDebug` #2492

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ledger-pdf	18m 59s
Formal-Ledger	6m 44s
Ledger-hs	6m 43s
MAlonzo	7m 10s
Midnight	6m 45s
Uploads	0s
	46m 21s