Skip to content

New bot command: please build #2498

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

Closed
wants to merge 42 commits into from
Closed

New bot command: please build #2498

wants to merge 42 commits into from

Conversation

iarspider
Copy link
Contributor

No description provided.

@cmsbuild
Copy link
Contributor

cmsbuild commented May 12, 2025

cms-bot internal usage

@cmsbuild
Copy link
Contributor

Pull request #2498 was updated.

@iarspider
Copy link
Contributor Author

test failures are expected, will update reference files before marking PR as ready for review.

@cmsbuild
Copy link
Contributor

Pull request #2498 was updated.

@smuzaffar
Copy link
Contributor

@iarspider , this might need more thoughts :-)
@makortel , we do not want to mark PR tests passed if someone only requested please build

@makortel
Copy link
Contributor

we do not want to mark PR tests passed if someone only requested please build

I agree.

@cmsbuild
Copy link
Contributor

Pull request #2498 was updated.

@cmsbuild
Copy link
Contributor

Pull request #2498 was updated.

2 similar comments
@cmsbuild
Copy link
Contributor

Pull request #2498 was updated.

@cmsbuild
Copy link
Contributor

Pull request #2498 was updated.

@iarspider iarspider marked this pull request as ready for review May 28, 2025 08:22
@cmsbuild
Copy link
Contributor

A new Pull Request was created by @iarspider for branch master.

@cmsbuild, @iarspider, @smuzaffar can you please review it and eventually sign? Thanks.
@antoniovilela, @mandrenguyen, @rappoccio, @sextonkennedy you are the release manager for this.
cms-bot commands are listed here

mmusich and others added 26 commits May 28, 2025 14:02
@iarspider iarspider marked this pull request as draft May 28, 2025 12:02
@cmsbuild
Copy link
Contributor

Pull request #2498 was updated.

@iarspider iarspider closed this May 28, 2025
@iarspider iarspider deleted the build-only branch May 28, 2025 13:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants