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

Triggered via pull request October 15, 2025 11:57

gounthar

synchronize #1667

Status Success

Total duration 1m 41s

Artifacts 1

github-docker-registry-push.yml

on: pull_request

Produced during runtime

Name	Size	Digest
jenkins-docs~quickstart-tutorials~JVCOOQ.dockerbuild	81.2 KB	`sha256:b21c60427bf991266b9353a8ac72ed79ce3550df7cd79d21ce9e41bcd573b977`