Skip to content
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

Check if nightlies have succeeded recently enough #100

Open
wants to merge 1 commit into
base: branch-25.02
Choose a base branch
from

Conversation

vyasr
Copy link

@vyasr vyasr commented Dec 20, 2024

Description

Contributes to rapidsai/build-planning#127

This PR cannot be merged unless nightly CI has passed within the past 7 days, so if it remains unmerged that will itself be an indication that nightly CI needs fixing.

@vyasr vyasr added non-breaking Introduces a non-breaking change improvement Improves an existing functionality labels Dec 20, 2024
Copy link

copy-pr-bot bot commented Dec 20, 2024

Auto-sync is disabled for draft pull requests in this repository. Workflows must be run manually.

Contributors can view more details about this message here.

@vyasr vyasr added improvement Improves an existing functionality and removed improvement Improves an existing functionality labels Dec 20, 2024
@vyasr vyasr marked this pull request as ready for review December 20, 2024 20:57
@vyasr vyasr requested a review from a team as a code owner December 20, 2024 20:57
@vyasr vyasr requested a review from raydouglass December 20, 2024 20:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
improvement Improves an existing functionality non-breaking Introduces a non-breaking change
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant