Page MenuHomeSoftware Heritage
Create Task
Maniphest T3717

Ingest opam instance https://coq.inria.fr/opam/released/
Closed, MigratedEdits Locked
Actions

Description

as proposed by mclovin on IRC:

14:21 < mclovin> I was thinking, could we archive one more opam instance ?
14:21 < mclovin> I was thinking of: https://coq.inria.fr/opam/released/
14:21 < mclovin> the official opam instance is mainly for ocaml packages, but this one contains a lot of Coq related packages

Revisions and Commits

rDDOC Development documentation
D6647rDDOC218bf86a289e changelog: Reference the opam coq repository ingestion

Related Objects

Event Timeline

ardumont triaged this task as Normal priority.Nov 8 2021, 2:27 PM
ardumont created this task.
zack added a project: Archive coverage.Nov 8 2021, 2:41 PM
zack updated the task description. (Show Details)
ardumont mentioned this in rSPSITEfbb2e18f6149: Add opam coq instance.Nov 10 2021, 12:52 PM
ardumont mentioned this in rSPSITEcf710f7fbcfd: opam: No private /tmp since it's shared amongst process.Nov 10 2021, 4:54 PM
ardumont mentioned this in rSPSITE35813c2457a7: Rename properly the instance.Nov 10 2021, 5:36 PM
ardumont mentioned this in rSPSITE2a7d823fea92: Rename properly the instances 2/2.Nov 10 2021, 5:41 PM
ardumont mentioned this in rSPSITEc95aa871a3ed: Unstuck opam loader loading for the default opam.ocaml.org instance.Nov 10 2021, 6:14 PM
ardumont added a comment.Nov 10 2021, 6:23 PM

This got added to the staging infrastructure which lead to some surprises.
This mostly got fixed in the commits ^.

This is ongoing for staging.

I'll check next week to do the same on production.

ardumont added a project: System administration.Nov 10 2021, 6:23 PM
ardumont changed the task status from Open to Work in Progress.EditedNov 10 2021, 6:26 PM
ardumont moved this task from Backlog to in-progress on the System administration board.

@ardumont For production, drop the / at the end of the url, in staging, it's duplicated...

example: opam+https://coq.inria.fr/opam/released//packages/coq-tlc/

ardumont added a revision: D6647: changelog: Reference the opam coq repository ingestion.Nov 17 2021, 2:08 PM
ardumont moved this task from in-progress to code-review/await-feedback/pause on the System administration board.Nov 17 2021, 3:00 PM
ardumont added a commit: rDDOC218bf86a289e: changelog: Reference the opam coq repository ingestion.Nov 18 2021, 3:15 PM
ardumont closed this task as Resolved.Nov 18 2021, 3:16 PM
ardumont claimed this task.
ardumont moved this task from code-review/await-feedback/pause to deployed/landed/monitoring on the System administration board.
ardumont moved this task from deployed/landed/monitoring to done on the System administration board.
gitlab-migration changed the task status from Resolved to Migrated.Oct 19 2022, 6:04 PM
gitlab-migration claimed this task.
gitlab-migration added a subscriber: gitlab-migration.

This task has been migrated to GitLab.

About · Developer information · Legal