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

Add github job for checking code formatting #42

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

sogartar
Copy link
Contributor

I am not sure if you want to format the code at one go. I can just add the github job.

For the github job I copied the script from https://github.com/iree-org/iree/blob/0c7fcbc2eba18aa0ece089f3d533a2b5164cdde8/third_party/format_diff/format_diff.py. Maybe not the best approach as it introduces code duplication.

@rsuderman
Copy link
Collaborator

Could you separate adding the formatting work / job from the actual reformatting of the code. It should help avoid conflating functional changes from purely formatting changes.

@sogartar sogartar changed the title Add github job for checking code formatting and format code Add github job for checking code formatting Feb 2, 2023
@sogartar
Copy link
Contributor Author

sogartar commented Feb 2, 2023

@rsuderman, I moved the code formatting to a new PR #52.

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.

2 participants