Skip to content

ci: pin ubuntu OS to 22.04.#3659

Merged
germa89 merged 3 commits intomainfrom ci/pin-ubuntu-OS-versionJan 14, 2025