chore(deps): bump gitpod/workspace-python-3.12 (#567)

dependabot[bot] · web-flow · commit 5ebe1198e7a7 · 2025-10-06T22:25:55.000+02:00
Bumps gitpod/workspace-python-3.12 from 2025-08-25-18-17-39 to 2025-10-06-13-14-25.

---
updated-dependencies:
- dependency-name: gitpod/workspace-python-3.12
  dependency-version: 2025-10-06-13-14-25
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] &lt;support@github.com&gt;
Co-authored-by: dependabot[bot] &lt;49699333+dependabot[bot]@users.noreply.github.com&gt;
diff --git a/gitpod.dockerfile b/gitpod.dockerfile
@@ -1,4 +1,4 @@
-FROM gitpod/workspace-python-3.12:2025-08-25-18-17-39
+FROM gitpod/workspace-python-3.12:2025-10-06-13-14-25
 
 ENV SYSTEM_SETUP_SCRIPTS="./tmp_system_setup_scripts"
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-FROM gitpod/workspace-python-3.12:2025-08-25-18-17-39`
	`1`	`+FROM gitpod/workspace-python-3.12:2025-10-06-13-14-25`
`2`	`2`
`3`	`3`	`ENV SYSTEM_SETUP_SCRIPTS="./tmp_system_setup_scripts"`
`4`	`4`