Repository navigation

Cargo Build & Test

Update Cargo.lock: synchronize zkm dependencies and upstream patches … #1064

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
TLA+ Formal Verification	26s
Clippy	11m 24s
Rustfmt	22s
Cargo Test (nightly-2025-12-11)	1h 1m 9s
	1h 13m 21s