Make dep on matrix-project optional
#281
Merged
ci.jenkins.io / Jenkins
succeeded
Jul 18, 2024 in 7m 24s
Success
Details
- linux-11 (2 ms)
- Checkout (linux-11) (11 sec)
- Build (linux-11) (3 min 19 sec)
- Archive (linux-11) (13 sec)
- windows-11 (39 ms)
- Checkout (windows-11) (17 sec)
- Build (windows-11) (4 min 17 sec)
- Archive (windows-11) (0.93 sec)
- linux-17 (5 min 46 sec)
- Checkout (linux-17) (11 sec)
- Build (linux-17) (2 min 51 sec)
- Archive (linux-17) (1.1 sec)
- Deploy (3.6 sec)
Loading