Well, it will be true during the day so i'll wait for it to finish.
I'm using those diffs as a kind of "heads up".
Related to T3717
Details
Details
- Reviewers
anlambert - Group Reviewers
Reviewers - Maniphest Tasks
- T3717: Ingest opam instance https://coq.inria.fr/opam/released/
- Commits
- rDDOC218bf86a289e: changelog: Reference the opam coq repository ingestion
make -C docs happy
Diff Detail
Diff Detail
- Repository
- rDDOC Development documentation
- Branch
- master
- Lint
No Linters Available - Unit
No Unit Test Coverage - Build Status
Buildable 25072 Build 39177: Phabricator diff pipeline on Jenkins for swh-docs Jenkins console · Jenkins Build 39176: arc lint + arc unit
Event Timeline
Comment Actions
Build is green
Patch application report for D6647 (id=24170)
Rebasing onto 58b086236d...
Current branch diff-target is up to date.
Changes applied before test
commit ff0c5666fed2d9fdf128ac606d51444be059cfc7
Author: Antoine R. Dumont (@ardumont) <ardumont@softwareheritage.org>
Date: Wed Nov 17 14:06:33 2021 +0100
changelog: Reference the opam coq repository ingestion
Related to T3717See https://jenkins.softwareheritage.org/job/DDOC/job/build-on-diff/34/ for more details.
Comment Actions
Build is green
Patch application report for D6647 (id=24192)
Rebasing onto 23b479e750...
Current branch diff-target is up to date.
Changes applied before test
commit 218bf86a289eee40f42fca0f2ff6638cea994c38
Author: Antoine R. Dumont (@ardumont) <ardumont@softwareheritage.org>
Date: Wed Nov 17 14:06:33 2021 +0100
changelog: Reference the opam coq repository ingestion
Related to T3717See https://jenkins.softwareheritage.org/job/DDOC/job/build-on-diff/36/ for more details.