Skip to content
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.

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

New version: Revise v3.5.9 #95298

Merged
merged 1 commit into from
Nov 14, 2023

Conversation

JuliaRegistrator
Copy link
Contributor

UUID: 295af30f-e4ad-537b-8983-00126c2a3abe
Repo: https://github.com/timholy/Revise.jl.git
Tree: a38e7d70267283888bc83911626961f0b8d5966f

Registrator tree SHA: 1ede4be248caa0b367cc8ebce8a0c76cb916c479
JuliaRegistrator referenced this pull request in timholy/Revise.jl Nov 14, 2023
* Restore filtering of non-src files

This patch restores the filtering of non-src files that was lost
in #767. After JuliaLang/julia#49866,
`Base.parse_cache_header` returns both the non-filtered and filtered
list instead of doing filtering internally based on the
`srcfiles_only::Bool` keyword argument.

There is a test for this failure mode that fails on Revise master branch
and passes with this patch (see
https://github.com/timholy/Revise.jl/blob/1059181bed06387e9fbcea137dce28a80c5c45d9/test/runtests.jl#L3070-L3080).

* Set version to 3.5.9.
Copy link
Contributor

Your new version pull request met all of the guidelines for auto-merging and is scheduled to be merged in the next round.


If you want to prevent this pull request from being auto-merged, simply leave a comment. If you want to post a comment without blocking auto-merging, you must include the text [noblock] in your comment. You can edit blocking comments, adding [noblock] to them in order to unblock auto-merging.

@fredrikekre fredrikekre merged commit 0e69337 into master Nov 14, 2023
14 checks passed
@fredrikekre fredrikekre deleted the registrator-revise-295af30f-v3.5.9-0f5c25da1d branch November 14, 2023 09:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants