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

test: investigating flakyness in issue 1931 #2283

Closed
wants to merge 1 commit into from

Conversation

suztomo
Copy link
Member

@suztomo suztomo commented Dec 1, 2023

No need to review for now. I'm investigating #1931

Copy link

conventional-commit-lint-gcf bot commented Dec 1, 2023

🤖 I detect that the PR title and the commit message differ and there's only one commit. To use the PR title for the commit history, you can use Github's automerge feature with squashing, or use automerge label. Good luck human!

-- conventional-commit-lint bot
https://conventionalcommits.org/

@product-auto-label product-auto-label bot added the size: m Pull request size is medium. label Dec 1, 2023
@suztomo
Copy link
Member Author

suztomo commented Dec 4, 2023

I couldn't reproduce it.

@suztomo suztomo closed this Dec 5, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
size: m Pull request size is medium.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant