Skip to content

ci: the Linux jobs run on ubuntu-24.04, not on whatever ubuntu-latest becomes - #51

Merged
rgdevment merged 1 commit into
mainfrom
ci/pin-ubuntu-24.04
Oct 5, 2026
Merged

rgdevment merged 1 commit into
mainfrom
ci/pin-ubuntu-24.04

Commits

Commits on Oct 5, 2026