OPAM: run opam switch export opam.export #17980
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
!ci-build-me |
|
!ci-bypass-changelog |
|
Could you build toolchain? |
|
!ci-toolchain-me |
glyh
force-pushed
the
dw/opam-export-switch-fix
branch
from
372d6f2 to
ce34dd4
Compare
|
Rebasing onto compatible. |
glyh
force-pushed
the
dw/opam-export-switch-fix
branch
from
ce34dd4 to
a0780e4
Compare
And fix `opam switch import opam.export` in an existing OPAM environment. We're getting ``` [ERROR]: The current opam switch is not a superset of the opam.export file: Could not find package base-bigarray.base in current switch Current switch should probably be updated using 'opam switch import opam.export'. ``` before this patch
glyh
force-pushed
the
dw/opam-export-switch-fix
branch
from
a0780e4 to
e1fb00c
Compare
|
!ci-toolchain-me |
|
!ci-build-me |
glyh
approved these changes
Oct 27, 2025
SanabriaRusso
approved these changes
Oct 27, 2025
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
And fix
opam switch import opam.exportin an existing OPAM environment.We're getting
before this patch