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.

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

Fail CI if code is not formatted #18

Merged
merged 1 commit into from
Nov 4, 2024
Merged

Fail CI if code is not formatted #18

merged 1 commit into from
Nov 4, 2024

Conversation

unflxw
Copy link
Contributor

@unflxw unflxw commented Nov 4, 2024

No description provided.

@unflxw unflxw self-assigned this Nov 4, 2024
@backlog-helper
Copy link

backlog-helper bot commented Nov 4, 2024

Hi @unflxw,

We've found some issues with your Pull Request.

  • This Pull Request is missing a description. Please describe the problem so other people understand the Pull Request as well. - (More info)
  • This Pull Request does not include a changeset. Add a changeset if the change impacts users and should be included in the changelog upon release. Read more about changesets.
    Ignore this rule by adding [skip changeset] to your Pull Request body. - (More info)

New issue guide | Backlog management | Rules | Feedback

@unflxw unflxw merged commit 7be6102 into main Nov 4, 2024
1 check passed
@backlog-helper
Copy link

backlog-helper bot commented Nov 5, 2024

  • This Pull Request has been closed or merged, but is still in a column that is considered to be 'in progress'. Please move the Pull Request to the 'Done' column when no more work will be done on this. - (More info)

This is a message from the daily scheduled checks.

New issue guide | Backlog management | Rules | Feedback

@tombruijn tombruijn added the chore label Nov 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants