Skip to content
GitLab
Explore
Sign in
Ike Mulder
ci
Repository
Branches
Overview
Active
Stale
All
perf
2ef6b22b
·
try putting time inside perf
·
Jun 22, 2018
ci
245a9c7b
·
test the opam 2 waters
·
Sep 18, 2018
janno/switches
8b28c999
·
Try different quoting to get rid of spaces.
·
Sep 20, 2018
debug
f8cda8eb
·
use CI_COMMIT_BRANCH instead of CI_COMMIT_REF_NAME (preparing for merge pipelines)
·
May 20, 2021
opam2
8c71f227
·
require all makefiles to have the 'builddep-opamfiles' target
·
Dec 09, 2021
fp-timing
b13fe9c5
·
Merge branch 'snyke7-fp-timing-patch-85160' into 'fp-timing'
·
Dec 22, 2022
master
default
protected
17d0f0e3
·
tweak comment
·
Mar 16, 2023
iris/ci!2