-
Simplify dune files of lib_protocol 0 of 6 checklist items completed!5427
- Merged
- 17
- Approved
updated -
Opam: collapse some packages 0 of 6 checklist items completed!5189
- Merged
- 7
- Approved
updated -
Build: update the world 0 of 6 checklist items completed!5062
- Merged
- 14
- Approved
updated -
Script: fix opam-release.sh 0 of 6 checklist items completed!5386
- Merged
- 7
- Approved
updated -
Manifest: fix for private libs 0 of 6 checklist items completed!5328
- Merged
- 24
- Approved
updated -
CI: static pipeline for opam-ci based on packages declared in manifest 0 of 6 checklist items completed!5157
- Merged
- 23
- Approved
updated -
Manifest: improve comment on exclude function 2 of 2 checklist items completed!5303
- Merged
- 5
- Approved
updated -
CI: Reproducible pipeline (no 'apk add' at runtime) 3 of 4 checklist items completed
- Merged
- 24
- Approved
updated -
allow to update opam repo with opam 2.1 0 of 6 checklist items completed!5017
- Merged
- 35
- 1
- Approved
updated -
Tezt: require OCaml 4.12 2 of 2 checklist items completed
- Merged
- 4
- Approved
updated -
Cleanup bisect usage 0 of 6 checklist items completed!5221
- Merged
- 4
- Approved
updated -
CI: simplify static build 0 of 6 checklist items completed!5164
- Merged
- 9
- Approved
updated -
Build: remove ocamlformat dep for runtest 0 of 6 checklist items completed!5152
- Merged
- 3
- Approved
updated -
tenderbrute: dont declare multiple libraries with the same name 0 of 6 checklist items completed!5163
- Merged
- 1
- Approved
updated -
Manifest: improve checks 0 of 6 checklist items completed!5120
- Merged
- 14
- Approved
updated -
Tweak Makefile to allow not depending on `opam` 4 of 6 checklist items completed!5109
- Merged
- +3
- 7
- Approved
updated -
Manifest: generate dune-workspace file 0 of 6 checklist items completed!5095
- Merged
- 14
- Approved
updated -
Manifest: cleanup related to JS 0 of 6 checklist items completed
- Merged
- 4
- Approved
updated -
- Merged
- 1
- Approved
updated -
Manifest: tweaks for release 3 of 6 checklist items completed
- Merged
- 3
- Approved
updated