Formal Ledger Specs

Witnesses for native scripts in reference inputs #2592

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ledger-hs	9m 44s
Formal-Ledger	8m 41s
Ledger-pdf	21m 59s
MAlonzo	10m 15s
Midnight	18m 25s
Uploads	3s
	1h 9m 7s