Skip to content

Update GitHub Actions runner to use ubuntu-latest#52

Merged
PetrHeinz merged 7 commits intomainfrom
ph/ci-update
Nov 25, 2025
Merged

Update GitHub Actions runner to use ubuntu-latest#52
PetrHeinz merged 7 commits intomainfrom
ph/ci-update

Commits