-
Manifest: fail if file is not generated, and add .merlin 5 of 5 checklist items completed!4155
- Merged
-
-
- 3
- 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 -
Simplify the build of static binaries 0 of 6 checklist items completed!3976
- Merged
-
-
- 12
- Approved
updated -
- Merged
-
-
- 11
- Approved
updated -
Makefile: make it easier to compute test coverage locally 2 of 2 checklist items completed
- Merged
-
-
- 33
- Approved
updated -
Build: use O3 pervasively with release and static profiles 0 of 6 checklist items completed!3958
- Merged
-
-
- 21
- Approved
updated -
Docs: fix warnings and enforce no warnings 1 of 8 checklist items completed!3960
- Merged
-
-
- 6
- Approved
updated -
Everywhere: avoid `Fmt` or declare it as a dependency 0 of 6 checklist items completed!3740
- Merged
-
-
- 8
- Approved
updated -
CI: Fix the test of the protocol snapshotting script 0 of 6 checklist items completed!3926
- Merged
-
-
- 9
- Approved
updated -
Makefile/Coverage: remove find corrupted files 2 of 2 checklist items completed
- Merged
-
-
- 7
- Approved
updated -
scripts: link_protocols.sh Pop proxy server TODO 2 of 2 checklist items completed
- Merged
-
-
- 5
- Approved
updated -
- Merged
-
-
- 44
- 1
- Approved
updated -
Manifest (12): leftovers 2 of 2 checklist items completed!3789
- Merged
-
-
- 18
- Approved
updated -
Manifest (11): bin_node, bin_client, bin_codec, bin_proxy_server 2 of 2 checklist items completed
- Merged
-
-
- 35
- Approved
updated -
Validator: remove static profile as it does not compile 2 of 2 checklist items completed!3671
- Merged
-
-
- 3
- Approved
updated -
- Merged
-
-
- 11
- 1
- Approved
updated -
Makefile: use make variable everywhere 2 of 2 checklist items completed!3844
- Merged
-
-
- 1
- 1
- Approved
updated -
Build: allow opam 2.1.x 22 of 22 checklist items completed!3542
- Merged
-
-
- 47
- 2
- Approved
updated