Skip to content

Conversation

cclauss
Copy link
Member

@cclauss cclauss commented Apr 7, 2025

https://pre-commit.ci is running on every pull request at https://results.pre-commit.ci/repo/github/47154941 so pre-commit does not also need to be run in GitHub Actions.

pre-commit.ci is running at https://results.pre-commit.ci/repo/github/47154941 so we do not need pre-commit to also be run in GitHub Actions.
@aaronliu0130 aaronliu0130 merged commit 55670e8 into develop Apr 7, 2025
14 checks passed
@cclauss cclauss deleted the No-need-to-run-pre-commit-twice branch April 7, 2025 23:15
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