Warm Tip: Before starting, read through the existing documentation and check open issues or discussions. This helps avoid duplicate work and ensures your contribution aligns with project goals.
- Identify the pipeline you need to modify
- Copy it to the staging directory with your changes
- Create a PR for review
- Test in staging after the PR is merged
- Create a new PR to move from staging to production
- Include test results and links in your PR
If your changes include pipelines/**/*.groovy, run these checks locally first:
- Static validation:
JENKINS_URL=https://do.pingcap.net/jenkins .ci/verify-jenkins-pipelines.sh
- Real replay validation:
JENKINS_USER=<user> JENKINS_TOKEN=<token> .ci/replay-jenkins-build.sh --auto-changed --jenkins-url https://do.pingcap.net/jenkins --verbose
For full command examples, behavior details (including 404 historical-build skip), and PR trigger workflow, see:
docs/guides/CI.md->Pre-PR Verification for Jenkins Pipeline Changes