Remove unnecessary workaround #384
Merged
ci.jenkins.io / Jenkins
succeeded
May 9, 2024 in 2m 43s
Success
Details
- linux-11 (6 ms)
- Checkout (linux-11) (21 sec)
- Build (linux-11) (1 min 3 sec)
- Archive (linux-11) (23 sec)
- linux-17 (6 ms)
- Checkout (linux-17) (20 sec)
- Build (linux-17) (1 min 1 sec)
- Archive (linux-17) (6.5 sec)
- windows-11 (2 min 38 sec)
- Checkout (windows-11) (10 sec)
- Build (windows-11) (1 min 13 sec)
- Archive (windows-11) (0.84 sec)
- Deploy (4.7 sec)
Loading