Skip to content

ci: only run on pull_request, not push to main#6

Merged
shanehull merged 1 commit into
mainfrom
ci/consolidate-lint
Jul 16, 2026
Merged

ci: only run on pull_request, not push to main#6
shanehull merged 1 commit into
mainfrom
ci/consolidate-lint

Conversation

@shanehull

Copy link
Copy Markdown
Owner

No description provided.

@shanehull shanehull self-assigned this Jul 16, 2026
@shanehull
shanehull merged commit 99e219a into main Jul 16, 2026
6 checks passed
@shanehull
shanehull deleted the ci/consolidate-lint branch July 23, 2026 07:33
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