[release-1.10] Backports release 1.10 #3948
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
(cherry picked from commit 299b770)
(cherry picked from commit ed7a8dc)
(cherry picked from commit bcd3e76)
) * catch if active project is set to a manifest file * Update src/Types.jl (cherry picked from commit 04b96b2)
…during recompilation (#3903) * preliminary wording; need someone to help with TODOs * Update docs/src/environments.md Co-authored-by: Ian Butterworth <[email protected]> * Add words describing check mark, reorganize text * Update docs/src/environments.md Co-authored-by: Anshul Singhvi <[email protected]> * Update docs/src/environments.md --------- Co-authored-by: Ian Butterworth <[email protected]> Co-authored-by: Anshul Singhvi <[email protected]> (cherry picked from commit a140321)
* fix hsv install to version * Update test/runtests.jl Co-authored-by: Dilum Aluthge <[email protected]> --------- Co-authored-by: Dilum Aluthge <[email protected]> (cherry picked from commit 8c99679) (cherry picked from commit 280f702)
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
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.
Backported PRs:
activate -to command help #3888SystemError, likeno space left on device#3932Contains multiple commits, manual intervention needed:
empty!oninstall_packages_hooks#3934Non-merged PRs with backport label: