Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Lennard Gäher
Iris
Repository
1342eb50c5e13952df2fc087cb642f20abf112cf
Switch branch/tag
iris
.gitlab-ci.yml
Find file
Blame
History
Permalink
don't check test output on coq.dev (it's broken due to a Coq bug)
· 1342eb50
Ralf Jung
authored
May 17, 2018
1342eb50
Validating GitLab CI configuration…
Learn more
Ralf Jung authored1342eb50