Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
scripts
ci-coq.sh
Find file
Blame
History
Permalink
Disable Coq 8.7.2 also in CI scripts
· 4f1a79e8
Heiko Becker
authored
Apr 01, 2019
4f1a79e8