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

Allow CI to run on dev/v4 only for now, and make the "we would release here" step succeed so we can start enjoying green checkmarks. #5762

Closed
wants to merge 2 commits into from

Conversation

kflynn
Copy link
Member

@kflynn kflynn commented Aug 9, 2024

Those green checkmarks won't be too meaningful, but they will unblock things and allow us to start paying attention to red things again.

Signed-off-by: Flynn [email protected]

…e here" step succeed so we can start enjoying green checkmarks.

Those green checkmarks won't be too meaningful, but they _will_ unblock things and allow us to start paying attention to red things again.

Signed-off-by: Flynn <[email protected]>
@dosubot dosubot bot added size:S This PR changes 10-29 lines, ignoring generated files. github_actions Pull requests that update GitHub Actions code labels Aug 9, 2024
Signed-off-by: Flynn <[email protected]>
@dosubot dosubot bot added size:M This PR changes 30-99 lines, ignoring generated files. and removed size:S This PR changes 10-29 lines, ignoring generated files. labels Aug 9, 2024
@kflynn kflynn closed this Aug 9, 2024
@kflynn
Copy link
Member Author

kflynn commented Aug 9, 2024

(Going to recreate this to see if Circle is gone.)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
github_actions Pull requests that update GitHub Actions code size:M This PR changes 30-99 lines, ignoring generated files.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant