Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
Iris
ci
Commits
12a54b5ee77451c6042c3e18acc23558e2e07e80
Switch branch/tag
ci
24 Mar, 2018
7 commits
be bold about colors
· 12a54b5e
Ralf Jung
authored
Mar 24, 2018
12a54b5e
fix colors
· 3f640cbd
Ralf Jung
authored
Mar 24, 2018
3f640cbd
fix buildjob
· ffa4df5f
Ralf Jung
authored
Mar 24, 2018
ffa4df5f
add .gitignore
· 26d27bec
Ralf Jung
authored
Mar 24, 2018
26d27bec
add main buildjob script
· 51e37125
Ralf Jung
authored
Mar 24, 2018
51e37125
rename
· 799685e2
Ralf Jung
authored
Mar 24, 2018
799685e2
initial commit: import opam CI script
· 4dbf5143
Ralf Jung
authored
Mar 24, 2018
4dbf5143
