From debd334b388fa75196afefe005877c4d5b0734f9 Mon Sep 17 00:00:00 2001 From: Georg Krause Date: Wed, 1 Nov 2023 11:48:54 +0100 Subject: [PATCH] chore(gitpod): Update workspace image to 2023-10-25-20-43-33 Part-of: --- .gitpod/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitpod/Dockerfile b/.gitpod/Dockerfile index 7236a7e3e..32aaa42f2 100644 --- a/.gitpod/Dockerfile +++ b/.gitpod/Dockerfile @@ -1,4 +1,4 @@ -FROM gitpod/workspace-full:2022-11-15-17-00-18 +FROM gitpod/workspace-full:2023-10-25-20-43-33 USER gitpod RUN sudo apt update -y \