[PATCH 03/79] [CI] Upgrade to Ubuntu 20.04
authorSven van Haastregt <sven.vanhaastregt@arm.com>
Thu, 18 Aug 2022 08:46:20 +0000 (09:46 +0100)
committerAndreas Beckmann <anbe@debian.org>
Thu, 14 Mar 2024 19:01:08 +0000 (20:01 +0100)
commit62a573f6b7c6933c35a12d417a8120c65732893a
tree20931fcd5fe4edbf5d8196e42650f1ba228718aa
parent47f5674ff0e6e10665f54d2e256063c56d628536
[PATCH 03/79] [CI] Upgrade to Ubuntu 20.04

The Ubuntu 18.04 image is marked deprecated [1], so move to a newer
image.

[1] https://github.com/actions/runner-images

Gbp-Pq: Name 0003-CI-Upgrade-to-Ubuntu-20.04.patch
.github/workflows/check-code-style.yml
.github/workflows/check-in-tree-build.yml
.github/workflows/check-out-of-tree-build.yml