Use symbols for build status #8705
+157
−103
Merged
ci.jenkins.io / Jenkins
succeeded
Nov 26, 2023 in 1h 46m 36s
Success
Details
- Record build (3 min 7 sec)
- linux-jdk11 (4 ms)
- Linux - JDK 11 - Checkout (46 sec)
- Linux - JDK 11 - Build / Test (1 hr 32 min)
- Linux - JDK 11 - Publish (1 min 23 sec)
- linux-jdk17 (2 ms)
- Linux - JDK 17 - Checkout (45 sec)
- Linux - JDK 17 - Build / Test (1 hr 38 min)
- Linux - JDK 17 - Publish (10 sec)
- windows-jdk17 (3 ms)
- Windows - JDK 17 - Checkout (1 min 1 sec)
- Windows - JDK 17 - Build / Test (1 hr 38 min)
- Windows - JDK 17 - Publish (10 sec)
- linux-jdk21 (3 ms)
- Linux - JDK 21 - Checkout (42 sec)
- Linux - JDK 21 - Build / Test (1 hr 33 min)
- Linux - JDK 21 - Publish (11 sec)
- ath-linux-jdk17-firefox (6 min 45 sec)
- Deploy (18 sec)