Secret Scanner

proof(coq): discharge eval_respects_state_eq_{L,R} via deletion + ref… #69

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
rust-secrets	5h 44m 17s
trufflehog	5h 44m 17s
gitleaks	5h 44m 17s
	17h 12m 51s