Skip to content
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

Do not set OPAMCLI if pre-release opam is allowed #711

Merged
merged 1 commit into from
Oct 20, 2023
Merged

Do not set OPAMCLI if pre-release opam is allowed #711

merged 1 commit into from
Oct 20, 2023

Conversation

smorimoto
Copy link
Member

Closes #709

@smorimoto smorimoto added the bug Something isn't working label Oct 19, 2023
@smorimoto smorimoto requested a review from dra27 October 19, 2023 18:04
@smorimoto smorimoto mentioned this pull request Oct 19, 2023
Closed
@smorimoto smorimoto force-pushed the do-not-install-depext-opam-2.2 branch from c7538c2 to 40ae3a0 Compare October 19, 2023 22:56
Base automatically changed from do-not-install-depext-opam-2.2 to master October 19, 2023 23:35
@smorimoto smorimoto force-pushed the do-not-set-opam-cli-env-pre branch from 88ff2ac to e6454fa Compare October 19, 2023 23:38
@smorimoto smorimoto merged commit 1f76f14 into master Oct 20, 2023
13 checks passed
@smorimoto smorimoto deleted the do-not-set-opam-cli-env-pre branch October 20, 2023 00:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@dra27 dra27 Awaiting requested review from dra27

Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Is setting OPAM_CLI from the action necessary?
1 participant
@smorimoto