Use standard Channel.isClosedChannelException
#444
Merged
ci.jenkins.io / Jenkins
succeeded
Apr 29, 2025 in 26m 23s
Success
Details
- linux-21 (7 ms)
- Checkout (linux-21) (10 sec)
- Build (linux-21) (20 min)
- Archive (linux-21) (19 sec)
- windows-17 (26 min)
- Checkout (windows-17) (18 sec)
- Build (windows-17) (24 min)
- Archive (windows-17) (2 sec)
- Deploy (4.1 sec)
Loading