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

chore: dummy PR #9580

Closed
wants to merge 2 commits into from
Closed

chore: dummy PR #9580

wants to merge 2 commits into from

Conversation

sugat009
Copy link
Member

This is just a placeholder PR run in parallel with #9579 to check if the CI jobs

@sugat009 sugat009 closed this Oct 25, 2024
@sugat009 sugat009 reopened this Oct 29, 2024
@sugat009 sugat009 changed the title DRAFT: DO NOT MERGE: Dummy PR chore: dummy PR Oct 29, 2024
@sugat009 sugat009 added the do not merge Indicates that the PR should not be merged label Oct 29, 2024
@andrablaj
Copy link
Member

@sugat009 can this PR be closed? I see some related PRs have been closed/merged.

@sugat009
Copy link
Member Author

sugat009 commented Dec 6, 2024

oh, yes. forgot about this one. thanks @andrablaj

@sugat009 sugat009 closed this Dec 6, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
do not merge Indicates that the PR should not be merged
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants