Skip to content

ci: avoid duplicate and mutating lint runs - #1463

Merged
helloyongyang merged 1 commit into
mainfrom
gp/fix-lint-workflow
Aug 31, 2026
Merged

ci: avoid duplicate and mutating lint runs#1463
helloyongyang merged 1 commit into
mainfrom
gp/fix-lint-workflow

Conversation

@GACLove

@GACLove GACLove commented Aug 31, 2026

Copy link
Copy Markdown
Contributor

Summary

  • run the push-triggered lint workflow only for main
  • keep pull_request linting for feature branches
  • remove Ruff --fix from pre-commit so CI reports violations without rewriting files

Trigger behavior

  • feature branch with PR: one pull_request lint run
  • direct push to main: one push lint run
  • merged PR: a pull_request run before merge and a main push run after merge

Validation

  • both YAML files parse successfully
  • git diff --check passes
  • GitNexus change scan: 2 config files, 0 code symbols, LOW risk

@GACLove
GACLove requested a review from helloyongyang August 31, 2026 11:21
@helloyongyang
helloyongyang merged commit 7d6df66 into main Aug 31, 2026
1 check passed
@helloyongyang
helloyongyang deleted the gp/fix-lint-workflow branch August 31, 2026 11:24
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