Merge branch 'main' into gounthar-patch-1

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-05-29-07-31-21
+FROM gitpod/workspace-full:2025-06-04-16-54-45
 
 # 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/plugins.txt

@@ -45,7 +45,7 @@ mina-sshd-api-core:2.15.0-161.vb_200831a_c15b_
 okhttp-api:4.11.0-189.v976fa_d3379d6
 pipeline-build-step:567.vea_ce550ece97
 pipeline-graph-analysis:241.vc3d48fb_b_2582
-pipeline-graph-view:557.v1da_7b_59dd38f
+pipeline-graph-view:558.vd30d5e81ffd7
 pipeline-groovy-lib:752.vdddedf804e72
 pipeline-input-step:527.vd61b_1d3c5078
 pipeline-milestone-step:138.v78ca_76831a_43