-
Draft: cleanup dune files after switching to dune 3.2 0 of 6 checklist items completed!5094
-
Prepare the switch to dune 3 6 of 6 checklist items completed!4519
- Merged
- 4
- Approved
updated -
Draft: clean build system wrt jsoo after dune3 0 of 6 checklist items completed!4099
-
Cleanup compilation of static binaries 0 of 6 checklist items completed!3978
- Merged
- 11
- 1
- Approved
updated