Skip to content

Pin Ubuntu CI versions to 22.04#43

Merged
planger merged 1 commit intoeclipse-theia:mainfrom eclipsesource:pin-ubuntu-to-22.04Oct 11, 2024

Commits

Commits on Oct 11, 2024