Skip to content

[housekeeping] Automated PR to fix formatting errors#1701

Merged
TheCodeTraveler merged 1 commit intomainfrom
housekeeping/fix-codeformatting
Feb 25, 2024
Merged

[housekeeping] Automated PR to fix formatting errors#1701
TheCodeTraveler merged 1 commit intomainfrom
housekeeping/fix-codeformatting

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

Automated PR to fix formatting errors

@github-actions github-actions Bot added the approved This Proposal has been approved and is ready to be added to the Toolkit label Feb 20, 2024
@TheCodeTraveler TheCodeTraveler marked this pull request as draft February 20, 2024 00:39
@TheCodeTraveler TheCodeTraveler added do not merge Do not merge this PR blocked and removed approved This Proposal has been approved and is ready to be added to the Toolkit labels Feb 20, 2024
@github-actions github-actions Bot added the approved This Proposal has been approved and is ready to be added to the Toolkit label Feb 21, 2024
@github-actions github-actions Bot force-pushed the housekeeping/fix-codeformatting branch from 59b5c38 to ee5a2f8 Compare February 22, 2024 00:07
@github-actions github-actions Bot force-pushed the housekeeping/fix-codeformatting branch from ee5a2f8 to 06f100c Compare February 25, 2024 00:06
@TheCodeTraveler TheCodeTraveler marked this pull request as ready for review February 25, 2024 00:24
@TheCodeTraveler TheCodeTraveler merged commit 7611c28 into main Feb 25, 2024
@TheCodeTraveler TheCodeTraveler deleted the housekeeping/fix-codeformatting branch February 25, 2024 00:24
@github-actions github-actions Bot locked and limited conversation to collaborators Nov 18, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

approved This Proposal has been approved and is ready to be added to the Toolkit blocked do not merge Do not merge this PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants