Skip to content
GitLab
Explore
Sign in
Iris
gpfsl
Repository
gpfsl
.gitlab-ci.yml
Find file
Blame
History
Permalink
nightly test with 8.11 branch to avoid Coq master regression
· dd8bcd0f
Ralf Jung
authored
Mar 20, 2020
dd8bcd0f
Validating GitLab CI configuration…
Learn more