Use Java 17 language features #1681
Merged
ci.jenkins.io / Jenkins
succeeded
Oct 21, 2024 in 26m 21s
Success
Details
- linux-21 (1 ms)
- Checkout (linux-21) (10 sec)
- Build (linux-21) (16 min)
- Archive (linux-21) (13 sec)
- windows-17 (26 min)
- Checkout (windows-17) (19 sec)
- Build (windows-17) (24 min)
- Archive (windows-17) (1.9 sec)
- Deploy (4.3 sec)
Loading