Fix add target release option #710
Merged
ci.jenkins.io / Jenkins
succeeded
Jun 11, 2025 in 9m 32s
Success
Details
- linux-17 (7 ms)
- Checkout (linux-17) (8.5 sec)
- Build (linux-17) (4 min 7 sec)
- Archive (linux-17) (19 sec)
- linux-21 (8 ms)
- Checkout (linux-21) (10 sec)
- Build (linux-21) (3 min 56 sec)
- Archive (linux-21) (1 sec)
- windows-17 (9 min 29 sec)
- Checkout (windows-17) (17 sec)
- Build (windows-17) (7 min 21 sec)
- Archive (windows-17) (0.85 sec)
- Deploy (1.8 sec)
Loading