Repository navigation

Secret Scanner

proofs(lean4) + tests: A-12 path-traversal containment (closes frontier A-12) #351

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
scan / rust-secrets	4s
scan / shell-secrets	4s
scan / gitleaks	11s
scan / trufflehog	23s
	42s