Secret Scanner

docs(readme): note echo types + decidability in the mechanised-proofs… #109

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
scan / gitleaks	4s
scan / trufflehog	12s
scan / shell-secrets	4s
scan / rust-secrets	3s
	23s