Skip to content

Backports release 1.11 #3964

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
Merged
merged 10 commits into from
Jul 23, 2024
Merged

Backports release 1.11 #3964

merged 10 commits into from
Jul 23, 2024

Conversation

@KristofferC
Copy link
Member

@KristofferC KristofferC commented Jul 23, 2024 •
edited
Loading

IanButterworth and others added 10 commits July 23, 2024 18:30
@IanButterworth @KristofferC
rm empty! on install_packages_hooks (#3934)
574366b 
* rm empty! on install_packages_hooks

* check if in already

(cherry picked from commit 0e5835e)
@IanButterworth @KristofferC
check parse before moving usage file into place (#3928)
3c35a1a 
(cherry picked from commit bcd3e76)
@IanButterworth @KristofferC
catch if the active project is erroneously set to a manifest file (#3894
149cfe1 
)

* catch if active project is set to a manifest file

* Update src/Types.jl

(cherry picked from commit 04b96b2)
@IanButterworth @KristofferC
Don't retry artifact downloads on SystemError, like `no space left …
5a66443 
…on device` (#3932)

(cherry picked from commit 1e4497e)
@pbouffard @IanButterworth
@asinghvi17 @KristofferC
Add some documentation describing how to interpret the symbols shown …
ac4f395 
…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)
@LilithHafner @KristofferC
Mark API public (#3945)
fd4fa5a 
(cherry picked from commit 3c6e398)
@IanButterworth @KristofferC
fix artifact printing quiet rule (#3951)
dfd0a9c 
(cherry picked from commit d801e45)
@IanButterworth @KristofferC
don't use get_extension to bridge REPLExt to REPLMode (#3959)
e5e7069 
* don't use `get_extension` to bridge REPLExt to REPLMode

* add comment at another get_extension usage

(cherry picked from commit 77f0225)
@IanButterworth @KristofferC
Pkg.test: document that coverage can be a string (#3957)
47e97ba 
(cherry picked from commit 6002a29)
@fonsp @KristofferC
Make manifest usage log errors non-fatal (#3962)
4a83e4c 
(cherry picked from commit 90d42a1)
@KristofferC KristofferC merged commit 8457d3e into release-1.11 Jul 23, 2024
@KristofferC KristofferC deleted the backports-release-1.11 branch July 23, 2024 19:02
@KristofferC KristofferC restored the backports-release-1.11 branch October 1, 2024 06:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

5 participants

@KristofferC @IanButterworth @pbouffard @LilithHafner @fonsp