Skip to content

Conversation

@bluss
Copy link
Member

@bluss bluss commented Mar 12, 2024

Closes #922
Closes #1292

It is unfortunately nightly-only because most configuration is nightly only.
Now is a good time to format the repo, because a whole bunch of old queued PRs were merged the past week.
The initial configuration is that rustfmt status is not blocking for merge, but it will be visible on every PR.

@bluss bluss force-pushed the rustfmt2 branch 5 times, most recently from a9cdaa1 to 1a524d8 Compare March 12, 2024 20:45
@bluss bluss marked this pull request as ready for review March 13, 2024 07:59
@bluss bluss enabled auto-merge March 13, 2024 21:30
@bluss bluss added this pull request to the merge queue Mar 13, 2024
Merged via the queue into master with commit b417e93 Mar 13, 2024
@bluss bluss deleted the rustfmt2 branch March 13, 2024 22:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Code formatting

3 participants