Update dependency io.vavr:vavr to v0.10.6 #2636
Merged
ci.jenkins.io / Jenkins
succeeded
Feb 3, 2025 in 1h 0m 56s
Success
Details
- linux-21 (10 ms)
- Checkout (linux-21) (8.2 sec)
- Build (linux-21) (14 min)
- Archive (linux-21) (17 sec)
- windows-17 (1 hr 0 min)
- Checkout (windows-17) (19 sec)
- Build (windows-17) (56 min)
- Archive (windows-17) (0.86 sec)
- Deploy (44 sec)
Loading