Eliminate redundant property #693
Merged
ci.jenkins.io / Jenkins
succeeded
Aug 14, 2024 in 6m 5s
Success
Details
- linux-21 (1 ms)
- Checkout (linux-21) (8.7 sec)
- Build (linux-21) (1 min 23 sec)
- Archive (linux-21) (16 sec)
- windows-17 (6 min 1 sec)
- Checkout (windows-17) (14 sec)
- Build (windows-17) (2 min 4 sec)
- Archive (windows-17) (0.8 sec)
- Deploy (3 sec)
Loading