Repository navigation

Cargo Build & Test

audit: use tla+ to formally verify transaction graphs #1005

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Clippy	9m 23s
Rustfmt	26s
TLA+ Formal Verification	16s
Cargo Test (nightly-2025-12-11)	1h 4m 0s
	1h 14m 5s