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

Auto pint #178

Closed
wants to merge 64 commits into from
Closed

Auto pint #178

wants to merge 64 commits into from

Conversation

Poseidon281
Copy link
Contributor

@Poseidon281 Poseidon281 commented May 6, 2024

I made changes to lint.yml so on each commit it now automatically runs pint and makes a commit named Pint Fixes if needed

@Poseidon281 Poseidon281 marked this pull request as draft May 6, 2024 09:40
It seems to now work but it still gives a failed job.
@Poseidon281 Poseidon281 marked this pull request as ready for review May 6, 2024 09:44
@Poseidon281
Copy link
Contributor Author

Poseidon281 commented May 6, 2024

My changes do work, only there is one little thing wrong. The job fails because he can't find the branch in this repository and I can't manage to get him to search for the fork repository, but that does not affect the job. As you can see from my tests, he does run pint and then makes a commit. With my last commit I adjusted it so that it is no longer executed when a Pull Request is made, but only when a commit is made, because as I explained at Pull Requests it fails because it can't find the branch.

I think with these last changes and tests it is now ready to be merged

@lancepioch
Copy link
Member

You can use a pre commit git hook to run vendor/bin/pint

@lancepioch lancepioch closed this May 6, 2024
@github-actions github-actions bot locked and limited conversation to collaborators May 6, 2024
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.

2 participants