Skip to content

Task: deps(opam): Check and improve the CI if need be (to spot missing deps) #633

@erikmd

Description

@erikmd

Related user(s):

@erikmd

Related issue(s) or PR(s):

Related project scope(s):

other

The problem:

Given the new archival strategy in opam-repository (cf. https://discuss.ocaml.org/t/opam-repository-archival-phase-3/16748), issues such as #621 can occur anew at some point.

Wanted solution:

  • Double-check that learn-ocaml's GHA jobs will be able to spot such issues
  • Ensure that these checks are involved in the weekly scheduled workflow

Considered alternatives:

No response

Additional context:

No response

Metadata

Metadata

Assignees

No one assigned

    Labels

    kind: enhancementEnhancement to an existing user-facing feature.kind: infrastructureCI, build tools, development tools

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions