CI: use ubuntu-slim instead of ubuntu-latest where sensible#498
Merged
IanButterworth merged 1 commit intoJuliaRegistries:masterfrom Feb 2, 2026
Merged
CI: use ubuntu-slim instead of ubuntu-latest where sensible#498IanButterworth merged 1 commit intoJuliaRegistries:masterfrom
IanButterworth merged 1 commit intoJuliaRegistries:masterfrom
