-
Doc: add temporary fix and warnings to build from scratch doc recipe 2 of 2 checklist items completed
- Merged
- +6
- 9
- Approved
updated -
Manifest: add ?optional 4 of 5 checklist items completed!5975
- Merged
- 7
- Approved
updated -
Manifest: do not check that .git is a directory 2 of 2 checklist items completed!5950
- Merged
- Approved
updated -
Manifest: better URLs for tezt.opam 3 of 3 checklist items completed!5912
- Merged
- 5
- Approved
updated -
Update data-encoding to 0.6 0 of 6 checklist items completed!5880
- Merged
- 1
- Approved
updated -
Copy script-inputs/ files into script-inputs/ when building docker image 0 of 6 checklist items completed
- Merged
- 3
- Approved
updated -
Generate list of released executables from the manifest 3 of 6 checklist items completed!5397
- Merged
- 47
- Approved
updated -
Manifest: fix error message about ~alias 3 of 3 checklist items completed!5697
- Merged
- 3
- Approved
updated -
Protocol_compiler: Make build runtest_compile_protocol return no warning + fix error message hash order 0 of 6 checklist items completed!5448
- Merged
- 23
- Approved
updated -
Cleanup compilation of static binaries 0 of 6 checklist items completed!3978
- Merged
- 11
- 1
- Approved
updated -
Manifest: remove tezos- exception for external packages 2 of 2 checklist items completed!5611
- Merged
- 3
- Approved
updated -
Build: fix -o3 flags 0 of 6 checklist items completed!5580
- Merged
- 3
- Approved
updated -
Enable more warnings in the codebase. 0 of 6 checklist items completed!5581
- Merged
- 2
- 1
- Approved
updated -
Switch to dune.3 0 of 6 checklist items completed!5296
- Merged
- 21
- Approved
updated -
Manifest: simplify api for flags 0 of 6 checklist items completed!5452
- Merged
- 26
- Approved
updated -
- Merged
- 17
- 2
- Approved
updated -
Opam: merge parameters inside protocol 0 of 6 checklist items completed!5364
- Merged
- 5
- Approved
updated -
Manifest: lib_protocol 2 of 6 checklist items completed!4995
- Merged
- 105
- Approved
updated -
Build: Fix `make build-dev-deps' 1 of 1 checklist item completed!3130
- Merged
- 8
- 1
- Approved
updated -
Dev: fix ometrics version in install script 0 of 6 checklist items completed!5462
- Merged
- 3
- Approved
updated