-
Draft: add interface for all libs 0 of 6 checklist items completed!4396
-
Docs: enable parallel processing 0 of 6 checklist items completed!4335
-
Documentation stanza for libraries with mlds 0 of 6 checklist items completed!4324
- Merged
- 2
- Approved
updated -
Manifest: use OCaml 4.12.1 2 of 2 checklist items completed
- Merged
- 4
- Approved
updated -
Manifest: protocol packages 4 of 4 checklist items completed
- Merged
- 57
- Approved
updated -
Manifest: backport version constraints from released opam packages 2 of 2 checklist items completed
- Merged
- 9
- Approved
updated -
Manifest: fail if file is not generated, and add .merlin 5 of 5 checklist items completed!4155
- Merged
- 3
- Approved
updated -
Manifest: automatic generation of opam packages for releases 4 of 5 checklist items completed
- Merged
- 40
- Approved
updated -
Jsoo-compiler is a dev dependency 0 of 6 checklist items completed!4143
- Merged
- 16
- Approved
updated -
Manifest (14): update for recent changes 2 of 2 checklist items completed!4124
- Merged
- 7
- Approved
updated -
Makefile: add COVERAGE_OPTIONS to build test 0 of 6 checklist items completed!4082
- Merged
- 2
- Approved
updated -
- Merged
- 11
- Approved
updated -
Cleanup compilation of static binaries 0 of 6 checklist items completed!3978
- Merged
- 11
- 1
- Approved
updated -
Simplify the build of static binaries 0 of 6 checklist items completed!3976
- Merged
- 12
- Approved
updated -
Docs: fix warnings and enforce no warnings 1 of 8 checklist items completed!3960
- Merged
- 6
- Approved
updated -
Build: use O3 pervasively with release and static profiles 0 of 6 checklist items completed!3958
- Merged
- 21
- Approved
updated -
CI: Fix the test of the protocol snapshotting script 0 of 6 checklist items completed!3926
- Merged
- 9
- Approved
updated -
Makefile: make it easier to compute test coverage locally 2 of 2 checklist items completed
- Merged
- 33
- Approved
updated -
lib_protocol: use test stanza 6 of 6 checklist items completed!3891
- Merged
- 10
- Approved
updated -
Makefile/Coverage: remove find corrupted files 2 of 2 checklist items completed
- Merged
- 7
- Approved
updated