Secret Scanner

ci+proof: fix proof-check gate, repair 5 never-compiled proofs (green main; #145) #448

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
scan / trufflehog	13s
scan / rust-secrets	7s
scan / gitleaks	11s
scan / shell-secrets	4s
	35s