Update CI configuration #1
Merged
ci.jenkins.io / Jenkins
succeeded
Jul 17, 2025 in 7m 54s
Success
Details
- linux-21 (6 ms)
- Checkout (linux-21) (8.3 sec)
- Build (linux-21) (38 sec)
- Archive (linux-21) (18 sec)
- windows-17 (7 min 46 sec)
- Checkout (windows-17) (20 sec)
- Build (windows-17) (3 min 21 sec)
- Archive (windows-17) (0.97 sec)
- Deploy (5.3 sec)
Loading