Skip to content

CI: Removed Ubuntu 18.04 build.#216

Merged
robbat2 merged 2 commits intoradvd-project:masterfrom RICCIARDI-Adrien:ci_remove_ubuntu_18_04_buildDec 7, 2023