Secret Scanner

fix(coq/cno): tier-0 rebuild - Coq 8.18 build repair + state_eq relaxation + eval_deterministic discharge (Refs standards#124) #67

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
gitleaks	10s
trufflehog	11s
rust-secrets	5s
	26s