git: dc579bc735b4 - main - devel/jenkins: Update to 2.517

From: Li-Wen Hsu <lwhsu_at_FreeBSD.org>
Date: Thu, 03 Jul 2025 14:26:31 UTC 
The branch main has been updated by lwhsu:

URL: https://cgit.FreeBSD.org/ports/commit/?id=dc579bc735b4942cdb2f42176e4d149df117deea

commit dc579bc735b4942cdb2f42176e4d149df117deea
Author:     Li-Wen Hsu <lwhsu@FreeBSD.org>
AuthorDate: 2025-07-03 14:26:14 +0000
Commit:     Li-Wen Hsu <lwhsu@FreeBSD.org>
CommitDate: 2025-07-03 14:26:14 +0000

    devel/jenkins: Update to 2.517
    
    Sponsored by:   The FreeBSD Foundation
---
 devel/jenkins/Makefile | 2 +-
 devel/jenkins/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/devel/jenkins/Makefile b/devel/jenkins/Makefile
index 3f119abfb907..215203d95bf6 100644
--- a/devel/jenkins/Makefile
+++ b/devel/jenkins/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	jenkins
-PORTVERSION=	2.515
+PORTVERSION=	2.517
 CATEGORIES=	devel java
 MASTER_SITES=	https://get.jenkins.io/war/${PORTVERSION}/
 DISTNAME=	jenkins
diff --git a/devel/jenkins/distinfo b/devel/jenkins/distinfo
index 20fea914fa99..0e451d3fb6c4 100644
--- a/devel/jenkins/distinfo
+++ b/devel/jenkins/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1750189552
-SHA256 (jenkins/2.515/jenkins.war) = d07c2a75c35c8451a65fc6508fed1add7bb75e25b9e7b25dd566f286b8ea0ce7
-SIZE (jenkins/2.515/jenkins.war) = 87480154
+TIMESTAMP = 1751524230
+SHA256 (jenkins/2.517/jenkins.war) = 9b2fcf89c7d1d75b4762fff84878a5284db71a916c5ab258af1b39c56b032901
+SIZE (jenkins/2.517/jenkins.war) = 87485317