Formal Ledger Specs

Only allow delegations to existing DReps (#597) #2436

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ledger-pdf	9m 50s
MAlonzo	17s
Formal-Ledger	54s
Ledger-hs	49s
Midnight	1m 21s
Uploads	19s
	13m 30s