Skip to content

CI: Switch to ubuntu-latest#197

Merged
sjpb merged 1 commit intomasterfrom
ci-bump-ubuntu
Jul 24, 2025
Merged

CI: Switch to ubuntu-latest#197
sjpb merged 1 commit intomasterfrom
ci-bump-ubuntu

Commits

Commits on Jul 24, 2025