Remove historical documentation #2822
Merged
ci.jenkins.io / Jenkins
succeeded
Apr 9, 2026 in 1h 23m 18s
Success
Details
- linux-25 (6 ms)
- Checkout (linux-25) (10 sec)
- Build (linux-25) (16 min)
- Archive (linux-25) (27 sec)
- windows-21 (1 hr 23 min)
- Checkout (windows-21) (23 sec)
- Build (windows-21) (1 hr 19 min)
- Archive (windows-21) (1.2 sec)
- Deploy (7.9 sec)
Loading