Skip to content
GitLab
Explore
Sign in
Dan Frumin
Actris
Repository
actris
.gitlab-ci.yml
Find file
Blame
History
Permalink
Revert "coq.dev is not stable enough for regular CI"
· 80e12301
Ralf Jung
authored
May 03, 2021
This reverts commit
d481ab7a
. coq.dev is fixed.
80e12301
Validating GitLab CI configuration…
Learn more