Skip to content
GitLab
Explore
Sign in
Iris
RefinedC
Repository
refinedc
.gitlab-ci.yml
Find file
Blame
History
Permalink
Switch CI to use Coq 8.12.
· 0fbfba34
Rodolphe Lepigre
authored
Oct 29, 2020
0fbfba34
Validating GitLab CI configuration…
Learn more