Merge pull request #24463 from mrc0mmand/ubuntu-ci-tweaks
authorFrantisek Sumsal <frantisek@sumsal.cz>
Fri, 26 Aug 2022 21:31:50 +0000 (21:31 +0000)
committerGitHub <noreply@github.com>
Fri, 26 Aug 2022 21:31:50 +0000 (21:31 +0000)
commit91685cf9f18d2d42ac5c141846bc02e419e6389c
tree3a3a5381b48206f9c66294b0dffefa9951be9963
parent0f79b3469f167583033d17f9a6fa0e4341a68003
parent12ee072db571d5d3aca37fbf9b9261441ac9aeff
Merge pull request #24463 from mrc0mmand/ubuntu-ci-tweaks

(Not only) Ubuntu CI tweaks