Formal Ledger Specs

Reuse ledger code in conformance #2502

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ledger-pdf	21m 44s
Ledger-hs	8m 1s
MAlonzo	8m 44s
Formal-Ledger	6m 46s
Midnight	15m 9s
Uploads	9s
	1h 0m 33s