Merge pull request #33241 from DaanDeMeyer/noble
authorLuca Boccassi <bluca@debian.org>
Sat, 8 Jun 2024 22:29:56 +0000 (23:29 +0100)
committerGitHub <noreply@github.com>
Sat, 8 Jun 2024 22:29:56 +0000 (23:29 +0100)
ci: Switch to Ubuntu 24.04


Trivial merge