Skip to content

ci: pin GitHub-hosted runners to explicit Ubuntu versions - #7

Merged
olle-lindgren merged 1 commit into
masterfrom
ci/pin-ubuntu-runners
Sep 25, 2026
Merged

olle-lindgren merged 1 commit into
masterfrom
ci/pin-ubuntu-runners

Commits

Commits on Sep 25, 2026