Skip to content

use ubuntu-latest instead of ubuntu-20.04 as the latter is deprecated#593

Merged
imor merged 1 commit intomasterfrom
bump-ubuntu-runner
May 7, 2025
Merged

use ubuntu-latest instead of ubuntu-20.04 as the latter is deprecated#593
imor merged 1 commit intomasterfrom
bump-ubuntu-runner

Commits

Commits on May 7, 2025