Secret Scanner

docs(proof-debt): self-document the CSA004 postulate discharge in the flagged module #134

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
scan / shell-secrets	4s
scan / gitleaks	10s
scan / trufflehog	12s
scan / rust-secrets	6s
	32s