changelog: Reference the opam coq repository ingestion
ClosedPublic
Actions

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

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

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

ardumont created this revision.Nov 17 2021, 2:08 PM

Herald added a reviewer: Reviewers. · View Herald TranscriptNov 17 2021, 2:08 PM

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.

Harbormaster completed remote builds in B25051: Diff 24170.Nov 17 2021, 2:19 PM

ardumont requested review of this revision.Nov 17 2021, 2:19 PM

Rebase

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.

Harbormaster completed remote builds in B25072: Diff 24192.Nov 18 2021, 2:36 PM

anlambert accepted this revision.Nov 18 2021, 3:08 PM

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

First round done [1]

[1] https://archive.softwareheritage.org/browse/search/?q=coq.inria.fr&visit_type=opam&with_content=true&with_visit=true

Closed by commit rDDOC218bf86a289e: changelog: Reference the opam coq repository ingestion (authored by ardumont). · Explain WhyNov 18 2021, 3:15 PM

This revision was automatically updated to reflect the committed changes.

ardumont added a commit: rDDOC218bf86a289e: changelog: Reference the opam coq repository ingestion.