chore(deps): update docker.io/library/fedora docker tag to v42 (#5243)

Co-authored-by: Krystle Salazar <[email protected]>
WordPress · Dec 2, 2024 · 34934c2 · 34934c2
1 parent 038273a
commit 34934c2
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/.github/renovate.json5 b/.github/renovate.json5
@@ -35,6 +35,10 @@
       matchFileNames: ["documentation/**"],
       addLabels: ["🧱 stack: documentation"],
     },
+    {
+      matchFileNames: ["docker/dev_env/**"],
+      addLabels: ["🧱 stack: mgmt"],
+    },
     {
       groupName: "python dev dependencies",
       matchDepTypes: [

diff --git a/docker/dev_env/Dockerfile b/docker/dev_env/Dockerfile
@@ -1,6 +1,6 @@
 # syntax=docker/dockerfile:1
 
-FROM docker.io/library/fedora:40
+FROM docker.io/library/fedora:42
 
 # We want to keep all important things in `/opt` as we will preserve the
 # `/opt` directory as a volume.