julia
tweak how filtering is done for what packages should be precompiled
#53957

Open

tweak how filtering is done for what packages should be precompiled #53957

KristofferC wants to merge 1 commit into master from kc/filtering_precompile

KristofferC added backport 1.11

KristofferC requested a review from

IanButterworth 1 year ago

tweak how filtering is done for what packages should be precompiled

8768d7ea

KristofferC force pushed from 1fcfa41d to 8768d7ea 1 year ago

Reviewers

IanButterworth

Assignees

No one assigned

Labels

backport 1.11

Milestone

No milestone