Skip to content

opam package use relocatable mode #21117

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

opam package use relocatable mode #21117

wants to merge 2 commits into from

Conversation

SkySkimmer
Copy link
Contributor

No description provided.

@SkySkimmer SkySkimmer requested review from erikmd and a team as code owners September 25, 2025 13:08
@SkySkimmer SkySkimmer added the request: full CI Use this label when you want your next push to trigger a full CI. label Sep 25, 2025
@coqbot-app coqbot-app bot removed the request: full CI Use this label when you want your next push to trigger a full CI. label Sep 25, 2025
@SkySkimmer SkySkimmer added the request: full CI Use this label when you want your next push to trigger a full CI. label Sep 26, 2025
@coqbot-app coqbot-app bot removed the request: full CI Use this label when you want your next push to trigger a full CI. label Sep 26, 2025
@SkySkimmer SkySkimmer added the kind: infrastructure CI, build tools, development tools. label Sep 29, 2025
@SkySkimmer SkySkimmer added this to the 9.2+rc1 milestone Sep 29, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@erikmd erikmd Awaiting requested review from erikmd erikmd is a code owner

At least 1 approving review is required to merge this pull request.

Assignees
No one assigned
Labels
kind: infrastructure CI, build tools, development tools.
Projects
None yet
Milestone
9.2+rc1
Development

Successfully merging this pull request may close these issues.
1 participant
@SkySkimmer