Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

workflows: Don't lint twice in signing events #1424

Merged
merged 1 commit into from
Jan 24, 2025

Conversation

jku
Copy link
Member

@jku jku commented Jan 24, 2025

Only lint on pushes to main branch to avoid duplicate lints in PRs like signing events that have a branch on origin.

We could maybe also avoid linting when workflows do not change (as currently only workflows are linted) but that's not included here

Only lint on pushes to main branch to avoid duplicate lints
in PRs like signing events that have a branch on origin.

We could maybe also avoid linting when workflows do not change
(as currently only workflows are linted) but that's not included here

Signed-off-by: Jussi Kukkonen <[email protected]>
@jku jku merged commit 2974582 into sigstore:main Jan 24, 2025
3 checks passed
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