Secret Scanner

proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape lemma #358

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
scan / gitleaks	7s
scan / shell-secrets	6s
scan / rust-secrets	6s
scan / trufflehog	15s
	34s