Skip to content

Also run CI on release tags#18047

Merged
roidelapluie merged 1 commit intomainfrom
superq/tag_push
Feb 10, 2026
Merged

Also run CI on release tags#18047
roidelapluie merged 1 commit intomainfrom
superq/tag_push

Conversation

@SuperQ
Copy link
Member

@SuperQ SuperQ commented Feb 9, 2026

Make sure we also run the main CI workflow v* release tags so publish_release job is run.

Which issue(s) does the PR fix:

Does this PR introduce a user-facing change?

NONE

Make sure we also run the main CI workflow `v*` release tags
so `publish_release` job is run.

Signed-off-by: SuperQ <superq@gmail.com>
@SuperQ SuperQ requested a review from bwplotka February 9, 2026 14:34
@SuperQ SuperQ requested a review from a team as a code owner February 9, 2026 14:34
@roidelapluie
Copy link
Member

I am surprised, is this a regression?

@SuperQ
Copy link
Member Author

SuperQ commented Feb 9, 2026

Yes, we filtered the push list in #18008 to reduce duplicate CI runs. Turns out we also need to allow the tags.

@roidelapluie roidelapluie merged commit 2f1a797 into main Feb 10, 2026
32 checks passed
@roidelapluie
Copy link
Member

Thanks

@roidelapluie roidelapluie deleted the superq/tag_push branch February 10, 2026 10:27
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