chore: replace master with main #7841
+20
−20
Open
ci.jenkins.io / Jenkins
succeeded
Feb 11, 2025 in 6m 9s
Success
Details
- Clean workspace (3.2 sec)
- Checkout source (26 sec)
- Checks (4.9 sec)
- Build site (5 min 33 sec)
Loading