Update jenkins to weekly 2.417

tianon · Aug 1, 2023 · 258522b · 258522b
1 parent 51e3324
commit 258522b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/jenkins/versions.json b/jenkins/versions.json
@@ -10,7 +10,7 @@
   ],
   "weekly": {
     "repo": "https://pkg.jenkins.io/debian",
-    "sha256": "1036e4ccdfe89b9bbbdbc6341d51f2f811fd692f4b16b48b443e20517c8d5935",
-    "version": "2.416"
+    "sha256": "a7cc2ad2999079d7d3451187855834c572b3ac9fb3e90d237f9fb0466c5ff3ef",
+    "version": "2.417"
   }
 }
diff --git a/jenkins/weekly/Dockerfile b/jenkins/weekly/Dockerfile
@@ -31,7 +31,7 @@ RUN set -eux; \
 # TODO use signed-by
 RUN echo 'deb https://pkg.jenkins.io/debian binary/' > /etc/apt/sources.list.d/jenkins.list
 
-ENV JENKINS_VERSION 2.416
+ENV JENKINS_VERSION 2.417
 
 RUN set -eux; \
 	apt-get update; \