Formal Ledger Specs

Witnesses for native scripts in reference inputs #2606

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ledger-pdf	23m 2s
Ledger-hs	10m 22s
Formal-Ledger	9m 12s
MAlonzo	10m 29s
Midnight	17m 27s
Uploads	5s
	1h 10m 37s