Repository navigation

Secret Scanner

fix(rust-cli): real Lean precondition checks in verification.rs (P0-5… #524

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
scan / gitleaks	9s
scan / shell-secrets	4s
scan / rust-secrets	3s
	16s