Skip to content

CI: remove Ubuntu 18.04 job#473

Merged
dentarg merged 1 commit intosporkmonger:mainfrom dentarg:ci/remove-ubuntu-18.04Aug 19, 2022

Commits

Commits on Aug 19, 2022