-
CI: reorganize configuration files by stages 0 of 6 checklist items completed!3648
- Merged
- 34
- Approved
updated -
build: update opam-repo version to use the latest jsoo.3.11.0 1 of 6 checklist items completed!3617
-
CI: Use merge request labels to control the CI jobs 6 of 6 checklist items completed
- Merged
- 28
- Approved
updated