Skip to content

Commit 7033115

Browse files
authored
Merge branch 'main' into update-plugins-2025/10/07/04/41/47
2 parents b06ecdb + d119cfe commit 7033115

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

.gitpod/Dockerfile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
# This Dockerfile is used to create a Gitpod workspace with GitHub CLI installed.
22

33
# We start from the Gitpod full workspace image which includes a broad range of development tools.
4-
FROM gitpod/workspace-full:2025-10-03-12-40-36
4+
FROM gitpod/workspace-full:2025-10-06-13-14-25
55

66
# The RUN command executes a series of commands in the new layer of the image and commits the results.
77
# The following commands are executed:

dockerfiles/agent-discovery/Dockerfile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
# This Dockerfile is used to prepare a Debian-based Docker image with several utilities installed.
22

33
# We start from the Debian 'trixie' image.
4-
FROM debian:trixie-20250610-slim as prepare-stage
4+
FROM debian:trixie-20250929-slim as prepare-stage
55

66
# Copy all shell scripts from the current directory to /usr/local/bin/ in the image.
77
COPY *sh /usr/local/bin/

0 commit comments

Comments
 (0)