Skip to content

ci: added job filter to avoid pending jobs#3152

Open
merll wants to merge 52 commits intomainfrom
ci-fix-pr-pending
Open

ci: added job filter to avoid pending jobs#3152
merll wants to merge 52 commits intomainfrom
ci-fix-pr-pending

Conversation

@merll
Copy link
Copy Markdown
Collaborator

@merll merll commented Apr 16, 2026

📌 Summary

In an attempt to sort out forever-pending tasks, e.g. on external contributions, this adds a filter on the repository.

🔍 Reviewer Notes

🧹 Checklist

  • Code is readable, maintainable, and robust.
  • Unit tests added/updated

@merll merll requested a review from Ani1357 as a code owner April 16, 2026 15:00
Comment thread .github/workflows/main.yml Outdated
Comment thread .github/workflows/main.yml Outdated
- synchronize
- reopened
branches:
- '**'
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I am wondering if we should restrict branch naming and not allowing branches that could overlap with our tagging system, e.g.. to prevent pushing v4.16.9 branch.
What is your take?

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We would not be prevent the creation of the branch. This should not happen on external repositories anyway. However, the previous approach does not seem to lead the way we want to. Therefore I reversed changes to the trigger and added filters instead. That should skip the tasks that are stuck in a pending state.

@merll merll changed the title ci: added pull_request trigger to avoid pending jobs ci: added job filter to avoid pending jobs Apr 22, 2026
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.

3 participants