Formal Ledger Specs

Only allow delegations to existing DReps #2401

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ledger-pdf	22m 6s
Formal-Ledger	7m 3s
MAlonzo	9m 23s
Ledger-hs	8m 12s
Midnight	16m 27s
Uploads	6s
	1h 3m 17s