Skip to content

ci: skip pre-commit workflow on main#1513

Merged
thinkall merged 2 commits intomainfrom
chore/skip-precommit-on-main-github
Jan 25, 2026
Merged

ci: skip pre-commit workflow on main#1513
thinkall merged 2 commits intomainfrom
chore/skip-precommit-on-main-github

Conversation

@thinkall
Copy link
Copy Markdown
Collaborator

@thinkall thinkall commented Jan 25, 2026 •
edited
Loading

Summary

  • Skip the pre-commit GitHub Actions workflow on pushes to main.
  • Keep pre-commit checks running on all pull requests.

Why

PR checks already gate merges; avoiding errors on main.

@thinkall thinkall merged commit a502115 into main Jan 25, 2026
8 checks passed
@thinkall thinkall deleted the chore/skip-precommit-on-main-github branch January 25, 2026 13:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@jianglibigdata jianglibigdata jianglibigdata approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@thinkall @jianglibigdata