Formal Ledger Specs

Removed deposit updating from Haskell version of UTXO #2350

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ledger-pdf	36m 44s
MAlonzo	9m 25s
Ledger-hs	9m 7s
Formal-Ledger	8m 24s
Midnight	22m 3s
Uploads	14s
	1h 25m 57s