Upgrade to JGit 7 #221
Merged
Upgrade to JGit 7 #221
ci.jenkins.io / Jenkins
succeeded
Aug 24, 2024 in 3m 56s
Success
Details
- linux-21 (1.5 sec)
- Checkout (linux-21) (8 sec)
- Build (linux-21) (1 min 46 sec)
- Archive (linux-21) (18 sec)
- windows-21 (3 min 51 sec)
- Checkout (windows-21) (10 sec)
- Build (windows-21) (2 min 10 sec)
- Archive (windows-21) (0.79 sec)
- Deploy (4.9 sec)
Loading