Update appearance of keyboard shortcut tooltips #8435
Merged
ci.jenkins.io / Jenkins
succeeded
Oct 12, 2024 in 2h 5m 8s
Success
Details
- Record build (59 sec)
- linux-jdk17 (38 ms)
- Linux - JDK 17 - Checkout (37 sec)
- Linux - JDK 17 - Build / Test (1 hr 54 min)
- Linux - JDK 17 - Publish (51 sec)
- windows-jdk17 (1 ms)
- Windows - JDK 17 - Checkout (45 sec)
- Windows - JDK 17 - Build / Test (1 hr 4 min)
- Windows - JDK 17 - Publish (18 sec)
- linux-jdk21 (2 ms)
- Linux - JDK 21 - Checkout (1 min 35 sec)
- Linux - JDK 21 - Build / Test (1 hr 59 min)
- Linux - JDK 21 - Publish (19 sec)
- ath-linux-jdk17-firefox (8 min 30 sec)
- Deploy (17 sec)
Loading