Merge branch 'weekly' into updatecli_weekly_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-06-16-15-20-00
+FROM gitpod/workspace-full:2025-06-23-06-54-22
 
 # 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/Dockerfile

@@ -1,7 +1,7 @@
 # This Dockerfile is used to create a Jenkins server with a specific version and pre-configured settings.
 
 # We start by defining an ARG for the Jenkins version. This allows us to easily change the version of Jenkins we want to use.
-ARG JENKINS_VERSION=2.514-jdk21
+ARG JENKINS_VERSION=2.515-jdk21
 
 # We then use the official Jenkins image with the specified version as our base image.
 FROM jenkins/jenkins:"${JENKINS_VERSION}"