ubuntu-20.04 -> ubuntu-22.04

[fedordikarev]

Ubuntu 20 image is closing down

We are beginning the process of closing down the Ubuntu 20 hosted runner image, following our N-1 OS support policy. This image will be fully retired by April 1, 2025. We recommend updating workflows to use ubuntu-22.04, or ubuntu-24.04.

(c) https://github.blog/changelog/2024-12-05-notice-of-upcoming-releases-and-breaking-changes-for-github-actions/

[bayandin]

I don't thing we use this repo, probably we can delete it?
What do you think @ololobus, @knizhnik?

[ololobus]

I guess we used it before submitting an upstream patch. So in theory we can need it again in the future, but not right now