Warn against version range usage #7731
Merged
ci.jenkins.io / Jenkins
succeeded
Dec 4, 2024 in 5m 14s
Success
Details
- Clean workspace (3.2 sec)
- Checkout source (23 sec)
- Checks (4.7 sec)
- Build site (4 min 45 sec)
Loading