Skip to content

Update GitHub Actions runner to use ubuntu-latest#41

Merged
PetrHeinz merged 3 commits intomainfrom
ph/worflow-ubuntu-latest
Nov 13, 2025
Merged

Update GitHub Actions runner to use ubuntu-latest#41
PetrHeinz merged 3 commits intomainfrom
ph/worflow-ubuntu-latest

Commits

Commits on Nov 13, 2025