Skip to content
GitLab
Explore
Sign in
Iris
ci
Repository
ci
ansi-colors.sh
Find file
Blame
History
Permalink
rename VALIDATE to CI_COQCHK
· 931ebed0
Ralf Jung
authored
Feb 23, 2019
Turns out Coq's build system checks VALIDATE, so we really should not use it for ourselves
931ebed0