Small improvements to branch labels #387
Merged
ci.jenkins.io / Jenkins
succeeded
Apr 21, 2024 in 16m 15s
Success
Details
- linux-21 (6 ms)
- Checkout (linux-21) (1 min 28 sec)
- Build (linux-21) (5 min 45 sec)
- Archive (linux-21) (1 min 59 sec)
- windows-17 (16 min)
- Checkout (windows-17) (16 sec)
- Build (windows-17) (14 min)
- Archive (windows-17) (0.67 sec)
- Deploy (4.3 sec)
Loading