Secret Scanner

fix(proofs/idris2): redesign auditTrailCompleteness as per-insertion theorem (closes #131) #366

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
scan / shell-secrets	4s
scan / gitleaks	16s
scan / rust-secrets	5s
scan / trufflehog	20s
	45s