From 0a33ed4078a5eb0076b1eb7dcb2d0bfb993cb512 Mon Sep 17 00:00:00 2001
From: Fabien Spindler <Fabien.Spindler@inria.fr>
Date: Fri, 1 Nov 2024 11:14:04 +0100
Subject: [PATCH] Attempt to force distro to ubuntu22.04 instead of
 ubuntu:latest on armv7 arch

---
 .github/workflows/other-arch-isolated.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/other-arch-isolated.yml b/.github/workflows/other-arch-isolated.yml
index e7e8485f58..7bc1866478 100644
--- a/.github/workflows/other-arch-isolated.yml
+++ b/.github/workflows/other-arch-isolated.yml
@@ -29,7 +29,7 @@ jobs:
           #   distro: bullseye
           #   target: ARMV6
           - arch: armv7
-            distro: ubuntu:latest
+            distro: ubuntu22.04
             target: ARMV7
             endianness: (Little Endian)
           - arch: aarch64