Secret Scanner

build: idempotent Agda toolchain provisioner (scripts/provision-agda.sh) #100

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
scan / rust-secrets	4s
scan / trufflehog	11s
scan / shell-secrets	4s
scan / gitleaks	12s
	31s