When a pull request is coming from a non-Sourcegrapher, it won’t trigger a CI build on Buildkite automatically because we want to review the code before it runs on our CI infrastructure. Please review the PR to ensure it doesn’t make any malicious changes to our build scripts.
Also see: Accepting external contributions.
There are two options to trigger a build.
Run the following commands:
gh pr checkout $PR_NUMBER
sg ci build
If the PR changes, pull changes into the branch, and run the above command again.
Alternatively, you can directly request a build for a specific commit:
gh pr checkout $PR_NUMBER
sg ci build --commit $COMMIT
ae724a83f8b6fc5628a4e8efcbb62975ed7b4c33
for #8234.8160-http-warning
(trim Akarshit:
prefix) for #8234.