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.

Sign up for GitHub

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

Jump to bottom

[housekeeping] Automated PR to fix formatting errors #17839

Merged
merged 1 commit into from Oct 5, 2023
Merged

[housekeeping] Automated PR to fix formatting errors #17839

merged 1 commit into from Oct 5, 2023

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Oct 5, 2023

Automated PR to fix formatting errors

@github-actions github-actions bot requested a review from a team as a code owner October 5, 2023 00:25
@github-actions github-actions bot requested a review from hartez October 5, 2023 00:25
@rmarinho rmarinho merged commit 0afc1c7 into main Oct 5, 2023
42 checks passed
@rmarinho rmarinho deleted the housekeeping/fix-codeformatting branch October 5, 2023 11:10
@github-actions github-actions bot locked and limited conversation to collaborators Dec 6, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@rmarinho rmarinho rmarinho approved these changes

@jsuarezruiz jsuarezruiz jsuarezruiz approved these changes

@StephaneDelcroix StephaneDelcroix Awaiting requested review from StephaneDelcroix StephaneDelcroix is a code owner automatically assigned from dotnet/dotnet-maui-reviewers

@hartez hartez Awaiting requested review from hartez hartez is a code owner automatically assigned from dotnet/dotnet-maui-reviewers

Assignees

@rmarinho rmarinho

@jsuarezruiz jsuarezruiz

Labels
area/infrastructure 🏗️ CI, Maestro / Coherency t/housekeeping ♻︎
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@rmarinho @jsuarezruiz