Formal Ledger Specs

Equivalence proof between spec and conformance rules (#585) #2519

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Formal-Ledger	7m 25s
Ledger-hs	8m 36s
MAlonzo	9m 38s
Ledger-pdf	22m 5s
Midnight	16m 51s
Uploads	4s
	1h 4m 39s