PR #57587 trimming: Restore JLL support

trimming: Restore JLL support #57587

IanButterworth merged 3 commits into JuliaLang:master from topolarity:ct/fix-jll-trimming

topolarity requested a review from

gbaraldi 1 year ago

topolarity force pushed from d9dbf676 to e0c25bc8 1 year ago

topolarity force pushed from be1026ad to 1bc82e24 1 year ago

nsajko added trimming

topolarity commented on 2025-03-06

topolarity added backport 1.12

trimming: Restore JLL support

855144dc

Fix `Base.Experimental.@compiler_options` doc-string

688504d1

trimming: Add basic JLL test

38eee42b

topolarity force pushed from 1bc82e24 to 38eee42b 1 year ago

topolarity added merge me

IanButterworth merged d369c10c into master 1 year ago

topolarity removed merge me

KristofferC removed backport 1.12

Reviewers

gbaraldi

Assignees

No one assigned

Labels

trimming

Milestone

No milestone