Secret Scanner

feat(proofs/agda): upstream Echo/CNO bridge files from maa-framework vendored copy #140

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
scan / trufflehog	11s
scan / shell-secrets	3s
scan / gitleaks	6s
scan / rust-secrets	5s
	25s