Formal Ledger Specs

Behavior of Plutus V3 scripts without datum #2640

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ledger-pdf	22m 30s
Ledger-hs	10m 3s
Formal-Ledger	9m 2s
MAlonzo	10m 46s
Midnight	18m 47s
Uploads	4s
	1h 11m 12s