Skip to content
GitLab
Explore
Sign in
Iris
gpfsl
Repository
gpfsl
.gitlab-ci.yml
Find file
Blame
History
Permalink
switch timing to Coq 8.12; no CI on forks
· 3807ce8a
Ralf Jung
authored
Sep 30, 2020
3807ce8a
Validating GitLab CI configuration…
Learn more