Bump Gitpod version to 2025-10-13-11-42-09#1667

Merged

gounthar merged 2 commits intomainfrom

updatecli_main_6cae6afb4bc2a46809e0d4668606d9a6221840a2acb2b5530092f3f5a55d165c

Oct 15, 2025

Commits on Oct 14, 2025

chore: deps(dockerfile): bump image "gitpod/workspace-full"
github-actions[bot]
committed

Commits on Oct 15, 2025

Merge branch 'main' into updatecli_main_6cae6afb4bc2a46809e0d4668606d9a6221840a2acb2b5530092f3f5a55d165c
gounthar
authored