Merge branch 'main' into updatecli_main_2645acb742811c68ad33208c989ad3376834a7adf6070e6ccef72764e0e9b878

Author: gounthar

.gitpod/Dockerfile

@@ -1,7 +1,7 @@
 # This Dockerfile is used to create a Gitpod workspace with GitHub CLI installed.
 
 # We start from the Gitpod full workspace image which includes a broad range of development tools.
-FROM gitpod/workspace-full:2025-07-14-04-43-05
+FROM gitpod/workspace-full:2025-07-16-08-50-19
 
 # The RUN command executes a series of commands in the new layer of the image and commits the results.
 # The following commands are executed:

dockerfiles/maven/Dockerfile

@@ -5,7 +5,7 @@ RUN apt-get update && apt-get install -y --no-install-recommends ca-certificates
   rm -rf /var/lib/apt/lists/*
 
 # Now time to install maven
-ARG MAVEN_VERSION=3.9.10
+ARG MAVEN_VERSION=3.9.11
 
 # Set SHELL flags for RUN commands to allow -e and pipefail
 # Rationale:https://github.com/hadolint/hadolint/wiki/DL4006