-
Notifications
You must be signed in to change notification settings - Fork 1.3k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
infra: [TRTLLM-4308] Add Bot help #3107
infra: [TRTLLM-4308] Add Bot help #3107
Conversation
GitHub Bot Help
provides a user friendly way for developers to interact with a Jenkins server. Run See details below for each supported subcommand.
Launch build/test pipelines. All previously running jobs will be killed.
kill
Kill all running builds associated with merge request. skip
Skip testing for latest commit on merge request. This action is restricted to admins. Please contact a maintainer/owner for the project if you would like to use this option. reuse-pipeline
Reuse a previous pipeline to validate current commit. This action will also kill all currently running builds associated with the merge request. IMPORTANT NOTE: This is dangerous since lack of user care and validation can cause top of tree to break. |
/bot skip --comment "Test bot" |
/bot help |
/bot skip --comment "test" |
This is a test message for not bot start |
Signed-off-by: ZhanruiSunCh <[email protected]>
5b1346c
to
405a938
Compare
#3107 (comment)
this is an example message