Formal Ledger Specs

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
MAlonzo	7m 42s
Formal-Ledger	7m 21s
Ledger-pdf	21m 11s
Ledger-hs	7m 25s
Midnight	7m 18s
Uploads	0s
	50m 57s