Add examples of PRs for adding CD to repos #6556
Merged
This check has been archived and is scheduled for deletion.
Learn more about checks retention
ci.jenkins.io / Jenkins
succeeded
Jul 24, 2023 in 4m 37s
Success
Details
- Clean workspace (1.9 sec)
- Checkout source (24 sec)
- Checks (5.1 sec)
- Build site (4 min 5 sec)
Loading