Bump pmd.api.version from 7.14.0 to 7.15.0#1196
Merged
Merged
ci.jenkins.io / Jenkins
succeeded
Jun 27, 2025 in 7m 51s
Success
Details
- linux-21 (11 ms)
- Checkout (linux-21) (13 sec)
- Build (linux-21) (3 min 9 sec)
- Archive (linux-21) (17 sec)
- windows-17 (7 min 47 sec)
- Checkout (windows-17) (20 sec)
- Build (windows-17) (5 min 28 sec)
- Archive (windows-17) (0.82 sec)
- Deploy (4.3 sec)
Loading