Remove reference to Prototype #84
Merged
ci.jenkins.io / Jenkins
succeeded
Nov 20, 2023 in 11m 21s
Success
Details
- linux-11 (3 ms)
- Checkout (linux-11) (1 min 27 sec)
- Build (linux-11) (3 min 12 sec)
- Archive (linux-11) (1 min 18 sec)
- linux-17 (4 ms)
- Checkout (linux-17) (43 sec)
- Build (linux-17) (2 min 34 sec)
- Archive (linux-17) (12 sec)
- windows-11 (11 min)
- Checkout (windows-11) (19 sec)
- Build (windows-11) (6 min 15 sec)
- Archive (windows-11) (1.1 sec)
- Deploy (4.5 sec)
Loading