Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Register
Sign in
Toggle navigation
Menu
Ike Mulder
ci
Repository
Branches
Overview
Active
Stale
All
Active branches
master
default
protected
17d0f0e3
·
tweak comment
·
Mar 16, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
perf
2ef6b22b
·
try putting time inside perf
·
Jun 22, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci
245a9c7b
·
test the opam 2 waters
·
Sep 18, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
janno/switches
8b28c999
·
Try different quoting to get rid of spaces.
·
Sep 20, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
debug
merged
f8cda8eb
·
use CI_COMMIT_BRANCH instead of CI_COMMIT_REF_NAME (preparing for merge pipelines)
·
May 20, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
opam2
merged
8c71f227
·
require all makefiles to have the 'builddep-opamfiles' target
·
Dec 09, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar