Repository navigation

Secret Scanner

feat(tg-1): let-binding + de Bruijn substitution metatheory #123

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
scan / shell-secrets	6s
scan / trufflehog	20s
scan / gitleaks	9s
scan / rust-secrets	3s
	38s