OpamFolder
ActivePublic
Watch Project

Members

This project does not have any members.
View All

Watchers

This project does not have any watchers.
View All

Recent Activity
View All

Jan 8 2023

gitlab-migration closed T4602: opam: Incorrect handling of packages with multiple authors as Migrated.

This task has been migrated to GitLab.

Jan 8 2023, 10:25 PM · Opam

gitlab-migration closed T3637: Make the opam loader incremental as Migrated.

This task has been migrated to GitLab.

Jan 8 2023, 10:23 PM · Opam

gitlab-migration changed the status of T3636: Make the opam loader write extrinsic metadata from Resolved to Migrated.

This task has been migrated to GitLab.

Jan 8 2023, 10:02 PM · Extrinsic metadata, Opam

gitlab-migration changed the status of T3590: opam loader: Ensure required opam state is shared amongst ingestion/listing runs from Resolved to Migrated.

This task has been migrated to GitLab.

Jan 8 2023, 10:02 PM · Archive coverage, Opam

gitlab-migration changed the status of T3590: opam loader: Ensure required opam state is shared amongst ingestion/listing runs, a subtask of T3424: Opam support, from Resolved to Migrated.

Jan 8 2023, 10:02 PM · Archive coverage, Opam

gitlab-migration changed the status of T3425: Opam loader, a subtask of T3424: Opam support, from Resolved to Migrated.

Jan 8 2023, 10:02 PM · Archive coverage, Opam

gitlab-migration changed the status of T3425: Opam loader from Resolved to Migrated.

This task has been migrated to GitLab.

Jan 8 2023, 10:02 PM · Archive coverage, Opam

gitlab-migration changed the status of T3424: Opam support from Resolved to Migrated.

This task has been migrated to GitLab.

Jan 8 2023, 10:02 PM · Archive coverage, Opam

gitlab-migration closed T3976: opam loader: Adapt for opam > 2.1 as Migrated.

This task has been migrated to GitLab.

Jan 8 2023, 5:03 PM · Opam, Package Loader, Core Loader

gitlab-migration changed the status of T3358: Opam lister, a subtask of T3424: Opam support, from Resolved to Migrated.

Jan 8 2023, 4:34 PM · Archive coverage, Opam

Oct 19 2022

gitlab-migration changed the status of T3826: Make opam shared root initialization more robust from Resolved to Migrated.

This task has been migrated to GitLab.

Oct 19 2022, 6:05 PM · System administration, Opam

gitlab-migration changed the status of T3722: staging: Deploy package loader v1.0, deposit server v0.16, lister v2.3, a subtask of T3636: Make the opam loader write extrinsic metadata, from Resolved to Migrated.

Oct 19 2022, 6:05 PM · Extrinsic metadata, Opam

gitlab-migration changed the status of T3717: Ingest opam instance https://coq.inria.fr/opam/released/ from Resolved to Migrated.

This task has been migrated to GitLab.

Oct 19 2022, 6:04 PM · System administration, Archive coverage, Opam

gitlab-migration changed the status of T3568: Deploy opam lister/loader to production, a subtask of T3424: Opam support, from Resolved to Migrated.

Oct 19 2022, 6:04 PM · Archive coverage, Opam

gitlab-migration changed the status of T3568: Deploy opam lister/loader to production from Resolved to Migrated.

This task has been migrated to GitLab.

Oct 19 2022, 6:04 PM · System administration, Archive coverage, Opam

gitlab-migration changed the status of T3468: staging: current opam loading issues from Resolved to Migrated.

This task has been migrated to GitLab.

Oct 19 2022, 6:03 PM · System administration, Opam

gitlab-migration changed the status of T3468: staging: current opam loading issues, a subtask of T3424: Opam support, from Resolved to Migrated.

Oct 19 2022, 6:03 PM · Archive coverage, Opam

gitlab-migration changed the status of T3438: Deploy opam lister/loader to staging, a subtask of T3424: Opam support, from Resolved to Migrated.

Oct 19 2022, 6:03 PM · Archive coverage, Opam

gitlab-migration changed the status of T3438: Deploy opam lister/loader to staging from Resolved to Migrated.

This task has been migrated to GitLab.

Oct 19 2022, 6:03 PM · System administration, Opam

Oct 4 2022

vlorentz updated the task description for T4602: opam: Incorrect handling of packages with multiple authors.

Oct 4 2022, 12:39 PM · Opam

vlorentz added a project to T4602: opam: Incorrect handling of packages with multiple authors: Opam.

Oct 4 2022, 12:39 PM · Opam

Feb 25 2022

ardumont added a revision to T3976: opam loader: Adapt for opam > 2.1: D7256: Ignore quilt .pc/ folder.

Feb 25 2022, 12:38 PM · Opam, Package Loader, Core Loader

ardumont updated the task description for T3976: opam loader: Adapt for opam > 2.1.

Feb 25 2022, 12:36 PM · Opam, Package Loader, Core Loader

ardumont added a comment to T3976: opam loader: Adapt for opam > 2.1.

In T3976#79630, @olasd wrote:

https://opam.ocaml.org/doc/FAQ.html#Why-does-opam-require-bwrap

"If needed, for special cases like unprivileged containers, sandboxing can be disabled on opam init with the --disable-sandboxing flag (only for non-initialised opam)".

I think that would make sense, as we never execute code from the opam root, we only read metadata files.

Feb 25 2022, 12:35 PM · Opam, Package Loader, Core Loader

ardumont updated the task description for T3976: opam loader: Adapt for opam > 2.1.

Feb 25 2022, 12:32 PM · Opam, Package Loader, Core Loader

olasd added a comment to T3976: opam loader: Adapt for opam > 2.1.

"If needed, for special cases like unprivileged containers, sandboxing can be disabled on opam init with the --disable-sandboxing flag (only for non-initialised opam)".

Feb 25 2022, 12:23 PM · Opam, Package Loader, Core Loader

ardumont triaged T3976: opam loader: Adapt for opam > 2.1 as Normal priority.

Feb 25 2022, 12:06 PM · Opam, Package Loader, Core Loader

Jan 7 2022

ardumont closed T3826: Make opam shared root initialization more robust as Resolved.

Jan 7 2022, 12:23 PM · System administration, Opam

ardumont moved T3826: Make opam shared root initialization more robust from in-progress to deployed/landed/monitoring on the System administration board.

Jan 7 2022, 9:30 AM · System administration, Opam

ardumont changed the status of T3826: Make opam shared root initialization more robust from Open to Work in Progress.

Jan 7 2022, 9:30 AM · System administration, Opam

ardumont added a project to T3826: Make opam shared root initialization more robust: System administration.

Jan 7 2022, 9:30 AM · System administration, Opam

ardumont added a comment to T3826: Make opam shared root initialization more robust.

Deployed. And alerts are no longer now [1]

Jan 7 2022, 9:29 AM · System administration, Opam

ardumont updated the task description for T3826: Make opam shared root initialization more robust.

Jan 7 2022, 9:27 AM · System administration, Opam

Jan 6 2022

ardumont added a revision to T3826: Make opam shared root initialization more robust: D6883: Make opam shared root initialization more robust.

Jan 6 2022, 11:49 AM · System administration, Opam

Jan 3 2022

olasd triaged T3826: Make opam shared root initialization more robust as High priority.

Jan 3 2022, 2:15 PM · System administration, Opam

Nov 22 2021

vlorentz closed T3636: Make the opam loader write extrinsic metadata as Resolved.

Nov 22 2021, 2:44 PM · Extrinsic metadata, Opam

Nov 18 2021

ardumont closed T3717: Ingest opam instance https://coq.inria.fr/opam/released/ as Resolved.

Nov 18 2021, 3:16 PM · System administration, Archive coverage, Opam

ardumont moved T3717: Ingest opam instance https://coq.inria.fr/opam/released/ from code-review/await-feedback/pause to deployed/landed/monitoring on the System administration board.

Nov 18 2021, 3:16 PM · System administration, Archive coverage, Opam

Nov 17 2021

ardumont moved T3717: Ingest opam instance https://coq.inria.fr/opam/released/ from in-progress to code-review/await-feedback/pause on the System administration board.

Nov 17 2021, 3:00 PM · System administration, Archive coverage, Opam

ardumont added a revision to T3717: Ingest opam instance https://coq.inria.fr/opam/released/: D6647: changelog: Reference the opam coq repository ingestion.

Nov 17 2021, 2:08 PM · System administration, Archive coverage, Opam

Nov 10 2021

ardumont added a comment to T3717: Ingest opam instance https://coq.inria.fr/opam/released/.

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

Nov 10 2021, 6:27 PM · System administration, Archive coverage, Opam

ardumont changed the status of T3717: Ingest opam instance https://coq.inria.fr/opam/released/ from Open to Work in Progress.

Nov 10 2021, 6:27 PM · System administration, Archive coverage, Opam

ardumont added a project to T3717: Ingest opam instance https://coq.inria.fr/opam/released/: System administration.

Nov 10 2021, 6:24 PM · System administration, Archive coverage, Opam

ardumont added a comment to T3717: Ingest opam instance https://coq.inria.fr/opam/released/.

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

Nov 10 2021, 6:23 PM · System administration, Archive coverage, Opam

ardumont closed T3722: staging: Deploy package loader v1.0, deposit server v0.16, lister v2.3, a subtask of T3636: Make the opam loader write extrinsic metadata, as Resolved.

Nov 10 2021, 4:43 PM · Extrinsic metadata, Opam

ardumont changed the status of T3722: staging: Deploy package loader v1.0, deposit server v0.16, lister v2.3, a subtask of T3636: Make the opam loader write extrinsic metadata, from Open to Work in Progress.

Nov 10 2021, 3:33 PM · Extrinsic metadata, Opam

vlorentz added a subtask for T3636: Make the opam loader write extrinsic metadata: T3722: staging: Deploy package loader v1.0, deposit server v0.16, lister v2.3.

Nov 10 2021, 3:20 PM · Extrinsic metadata, Opam

Nov 8 2021

zack updated the task description for T3717: Ingest opam instance https://coq.inria.fr/opam/released/.

Nov 8 2021, 2:41 PM · System administration, Archive coverage, Opam

zack added a project to T3717: Ingest opam instance https://coq.inria.fr/opam/released/: Archive coverage.

Nov 8 2021, 2:41 PM · System administration, Archive coverage, Opam

ardumont triaged T3717: Ingest opam instance https://coq.inria.fr/opam/released/ as Normal priority.

Nov 8 2021, 2:27 PM · System administration, Archive coverage, Opam