Update dependency io.vavr:vavr to v0.10.7 #2696
Merged
ci.jenkins.io / Jenkins
succeeded
Jul 21, 2025 in 58m 54s
Success
Details
- linux-21 (6 ms)
- Checkout (linux-21) (8.6 sec)
- Build (linux-21) (15 min)
- Archive (linux-21) (21 sec)
- windows-17 (58 min)
- Checkout (windows-17) (18 sec)
- Build (windows-17) (55 min)
- Archive (windows-17) (1 sec)
- Deploy (6.2 sec)
Loading