Skip to content

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

Merged
smorimoto merged 1 commit intomasterfrom do-not-set-opam-cli-env-preOct 20, 2023

Commits

Commits on Oct 19, 2023