Skip to content

Improve workflow event filters. - #215

Merged
davidlehn merged 1 commit into
masterfrom
run-checks-on-pull-requests
Nov 19, 2025
Merged

Improve workflow event filters.#215
davidlehn merged 1 commit into
masterfrom
run-checks-on-pull-requests

Conversation

@davidlehn

Copy link
Copy Markdown
Member
  • Fix primary branch to master.
  • Filter zizmor checks to .github tree changes.
  • Use same style in workflow files.

- Fix primary branch to `master`.
- Filter zizmor checks to `.github` tree changes.
- Use same style in workflow files.
@davidlehn
davidlehn merged commit 8d0137a into master Nov 19, 2025
17 checks passed
@davidlehn
davidlehn deleted the run-checks-on-pull-requests branch November 19, 2025 22:47
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.

1 participant