Repository navigation

Cargo Build & Test

Fix graph maintenance logic #1061

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
TLA+ Formal Verification	28s
Rustfmt	18s
Clippy	10m 1s
Cargo Test (nightly-2025-12-11)	1h 0m 19s
	1h 11m 6s