Formal Ledger Specs

Revert "Change the way SPO votes are counted" #2389

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Formal-Ledger	57s
Ledger-hs	50s
MAlonzo	1m 19s
Ledger-pdf	13m 26s
Midnight	1m 23s
Uploads	4s
	17m 59s