[JENKINS-73133] Adapt GitHub for Jetty 12 (EE 8) #380
Merged
ci.jenkins.io / Jenkins
succeeded
Aug 8, 2024 in 15m 55s
Success
Details
- linux-21 (1 ms)
- Checkout (linux-21) (8 sec)
- Build (linux-21) (7 min 7 sec)
- Archive (linux-21) (15 sec)
- windows-17 (15 min)
- Checkout (windows-17) (14 sec)
- Build (windows-17) (11 min)
- Archive (windows-17) (0.87 sec)
- Deploy (3.5 sec)
Loading