Page MenuHomeSoftware Heritage

changelog: Reference the opam coq repository ingestion
ClosedPublic

Authored by ardumont on Wed, Nov 17, 2:08 PM.

Details

Summary

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

Test Plan

make -C docs happy

Diff Detail

Repository
rDDOC Development documentation
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.

Event Timeline

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 T3717

See https://jenkins.softwareheritage.org/job/DDOC/job/build-on-diff/34/ for more details.

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 T3717

See https://jenkins.softwareheritage.org/job/DDOC/job/build-on-diff/36/ for more details.

This revision is now accepted and ready to land.Thu, Nov 18, 3:08 PM