2.1.3 some backported PRs #5125
Merged
Conversation
This file contains 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
rjbou
force-pushed
the
213
branch
2 times, most recently
from
88f28f0
to
182b8cb
Compare
Github deprecation of `git://` protocol updates
updates on reftests
Reftests: some updates
Reftests: port opam-rt tests
Irons out a few kinks left by latest reftest improvements
reftest: Escape regexps characters in string replacements primitives
Some new tests, and auto-update after package def
Fix admin repo upgrade internal error
Add pre-processing to coinstallability checks
Optimisation for partial installability queries
Improve performance of some opam list combination
Actually permit multiple state caches to co-exist
…am-show Improve performance of opam show by 300% when the package to show is given explicitly or unique
Depexts: Stop zypper from upgrading packages on updates on OpenSUSE
Print user-friendly error messages when a command is not found, before calling the sandbox
Move cold compiler on master to 4.13.1
…lain Fix empty conflict explanations
Fix 'opam init' and 'opam init --reinit' when the `jobs` variable has been set in the opamrc or the current config
Fix make doc
`opam var` and `opam option` fixes when no switch is installed
Bump opam-file-format to 2.1.4
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.
Main issue #5000
Fix PRs
jobsvariable has been set in the opamrc or the current config #5056git://protocol updates #5097Reftests updates
TODO
opam varandopam optionfixes when no switch is installed #5027