Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
2
Merged
189
Closed
36
All
227
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Code coverage
!1626
· created
Mar 06, 2020
by
Philippe B.
build system
test ⚒
Merged
56
Approved
updated
Aug 31, 2020
Makefile: Add clean of tests_python directory into the clean target of the root Makefile.
!2025
· created
Aug 11, 2020
by
Vivien Pelletier
build system
test ⚒
Merged
1
Approved
updated
Aug 11, 2020
Add coq_of_ocaml (and use irmin 2.2.0)
!1956
· created
Jul 06, 2020
by
Pierre Boutillier
build system
Merged
2
1
Approved
updated
Jul 07, 2020
Dune: mark vendors/ directory with vendored_dirs
!1823
· created
May 13, 2020
by
Craig Ferguson
build system
Merged
1
Approved
updated
May 14, 2020
Build: comment the variable name to avoid confusion
!1680
· created
Mar 25, 2020
by
Danny Willems
build system
Merged
5
1
Approved
updated
Apr 06, 2020
Build: -03 is an ocamlopt specific flag
!1629
· created
Mar 08, 2020
by
Pierre Boutillier
build system
release manager 👷
Merged
1
Approved
updated
Mar 09, 2020
Build: remove `ocamlfind` from opam dependencies
!1441
· created
Dec 10, 2019
by
Raphaël Proust
build system
Merged
3
Approved
updated
Jan 07, 2020
[DOC] specify more build deps
!1006
· created
Apr 16, 2019
by
Tomáš Zemanovič
build system
doc 📖
simple
Merged
6
Approved
updated
Apr 23, 2019
build-deps: really install and use opam-depext
!1009
· created
Apr 16, 2019
by
Pierre Boutillier
build system
Merged
8
Approved
updated
Apr 23, 2019
Prev
1
…
6
7
8
9
10
Next