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
Iris
ci
Repository
Branches
Overview
Active
Stale
All
master
default
protected
c6cdd8bc
·
Merge branch 'master' into 'master'
·
Mar 20, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
opam2
protected
c6cdd8bc
·
Merge branch 'master' into 'master'
·
Mar 20, 2023
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fp-timing
b13fe9c5
·
Merge branch 'snyke7-fp-timing-patch-85160' into 'fp-timing'
·
Dec 22, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ocaml-gc-stats
c6a33b08
·
dump some GC stats
·
Sep 11, 2022
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
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
ci
245a9c7b
·
test the opam 2 waters
·
Sep 18, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
perf
2ef6b22b
·
try putting time inside perf
·
Jun 22, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar