make -C docs html adds a new file
Details
Details
Diff Detail
Diff Detail
- Repository
- rDCORE Foundations and core functionalities
- Branch
- master
- Lint
No Linters Available - Unit
No Unit Test Coverage - Build Status
Buildable 11886 Build 18024: Phabricator diff pipeline on jenkins Jenkins console · Jenkins Build 18023: arc lint + arc unit
Event Timeline
Comment Actions
Build is green
Patch application report for D3028 (id=10757)
Rebasing onto b7ec05dbe0...
Current branch diff-target is up to date.
Changes applied before test
commit dca9c5fc666d5f7039feda1de0357b23938af340 Author: Nicolas Dandrimont <nicolas@dandrimont.eu> Date: Fri Apr 17 17:14:38 2020 +0200 Add documentation for command-line tools
See https://jenkins.softwareheritage.org/job/DCORE/job/tests-on-diff/4/ for more details.