Use JGit 7.3.0 #1262
Merged
Use JGit 7.3.0 #1262
ci.jenkins.io / Jenkins
succeeded
Jun 14, 2025 in 18m 15s
Success
Details
- linux-21 (7 ms)
- Checkout (linux-21) (11 sec)
- Build (linux-21) (6 min 44 sec)
- Archive (linux-21) (14 sec)
- windows-17 (18 min)
- Checkout (windows-17) (19 sec)
- Build (windows-17) (15 min)
- Archive (windows-17) (1 sec)
- Deploy (4.2 sec)
Loading