Fix: Make some GSoC 2024-related changes #7159
Merged
ci.jenkins.io / Jenkins
succeeded
Mar 4, 2024 in 5m 12s
Success
Details
- Clean workspace (3.1 sec)
- Checkout source (27 sec)
- Checks (5.1 sec)
- Build site (4 min 36 sec)