Skip to content

Remove experimental formatter warning#8148

Merged
MichaReiser merged 2 commits intomainfrom
charlie/warn
Oct 24, 2023
Merged

Remove experimental formatter warning#8148
MichaReiser merged 2 commits intomainfrom
charlie/warn

Conversation

@charliermarsh
Copy link
Member

No description provided.

Copy link
Member

@konstin konstin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🎉

@MichaReiser MichaReiser enabled auto-merge (squash) October 24, 2023 01:17
@MichaReiser
Copy link
Member

MichaReiser commented Oct 24, 2023

I merge this to prevent conflicts with my setting changes.

@MichaReiser MichaReiser added the formatter Related to the formatter label Oct 24, 2023
@MichaReiser MichaReiser merged commit 7f4ea66 into main Oct 24, 2023
@MichaReiser MichaReiser deleted the charlie/warn branch October 24, 2023 01:26
@github-actions
Copy link
Contributor

PR Check Results

Ecosystem

✅ ecosystem check detected no changes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

formatter Related to the formatter

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants