Skip to content

Empty PR. #4614

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 33 commits into from
Closed

Empty PR. #4614

wants to merge 33 commits into from

Conversation

polina-c
Copy link
Contributor

@polina-c polina-c commented Oct 16, 2022

Meta PR to test bots at master and to quickly get current Flutter version for DevTools.
Feel free to kick the jobs to refresh it.

RELEASE_NOTE_EXCEPTION=[not for merge]

@polina-c polina-c changed the title Version check PR. Empty PR. Oct 16, 2022
@polina-c polina-c marked this pull request as ready for review January 9, 2023 15:37
@polina-c polina-c requested a review from a team as a code owner January 9, 2023 15:37
@polina-c polina-c requested review from kenzieschmoll and removed request for a team January 9, 2023 15:37
@polina-c polina-c marked this pull request as draft January 9, 2023 15:37
@polina-c polina-c closed this Jun 12, 2023
@polina-c polina-c deleted the version_check branch June 12, 2023 18:21
@polina-c polina-c restored the version_check branch June 12, 2023 18:21
@polina-c polina-c reopened this Jun 12, 2023
@polina-c polina-c closed this Jun 12, 2023
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.

1 participant