[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, 8 Feb 2024 21:48:18 +0000 (22:48 +0100)
commitb4c02f16de7d1e32a747f54a28bf41493945b57d
tree13fdcc75b0f5ecfa5d38f0034aa6bcfe9f9a1f83
parent646c9b9d79460f6613382e8ecf6879e86a4a74e2
[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