Skip to content
This repository was archived by the owner on Jun 5, 2025. It is now read-only.

Conversation

@jhrozek
Copy link
Contributor

@jhrozek jhrozek commented Mar 4, 2025

I don't know why our lint CI step doesn't catch this (it did slap me the
other day for other reasons, so it is working), but running make all
produced a bunch of reformats.

I don't know why our lint CI step doesn't catch this (it did slap me the
other day for other reasons, so it is working), but running `make all`
produced a bunch of reformats.
Copy link
Contributor

@JAORMX JAORMX left a comment

Choose a reason for hiding this comment

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

lgtm

@aponcedeleonch aponcedeleonch merged commit ce37fa4 into main Mar 5, 2025
11 checks passed
@aponcedeleonch aponcedeleonch deleted the misc branch March 5, 2025 06:25
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants