Skip to content
GitLab
Explore
Sign in
Dmitry Khalanskiy
Iris
Repository
iris
.gitlab-ci.yml
Find file
Blame
History
Permalink
Bump Mtac2-8.8 commit to restore Coq 8.8.0 compat.
· c3e8c99f
Janno
authored
Nov 09, 2018
c3e8c99f
Validating GitLab CI configuration…
Learn more