Repository navigation

Secret Scanner

chore(agda): bump absolute-zero pin 3ff5cee7 -> f486c299 (Proofs green on main) #323

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
scan / rust-secrets	5s
scan / gitleaks	7s
scan / shell-secrets	4s
	16s