Repository navigation

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

Merged

olle-lindgren merged 2 commits into

ci/pin-ubuntu-runners

Sep 28, 2026

Merged

ci: pin GitHub-hosted runners to explicit Ubuntu versions#108
olle-lindgren merged 2 commits into
developfrom
ci/pin-ubuntu-runners

Commits on Sep 25, 2026
- ci: pin GitHub-hosted runners to explicit Ubuntu versions
  
  olle-lindgren
  and
  claude
  committed
  ff68d2d
- Merge branch 'develop' into ci/pin-ubuntu-runners
  kavehtoyser
  authored
  be6555d