Skip to content

build: create additional tags on release#12811

Merged
chingor13 merged 5 commits intomainfrom
additional-tags
Apr 15, 2026
Merged

build: create additional tags on release#12811
chingor13 merged 5 commits intomainfrom
additional-tags

Conversation

@chingor13
Copy link
Copy Markdown
Contributor

Towards #12724

Renamed the workflow and removed the path filter which doesn't apply to release events.

@gemini-code-assist
Copy link
Copy Markdown
Contributor

Note

Gemini is unable to generate a review for this pull request due to the file types involved not being currently supported.

@chingor13 chingor13 marked this pull request as ready for review April 15, 2026 16:53
@chingor13 chingor13 requested a review from a team as a code owner April 15, 2026 16:53
@chingor13 chingor13 requested a review from blakeli0 April 15, 2026 17:29
@chingor13 chingor13 enabled auto-merge (squash) April 15, 2026 20:30
@meltsufin
Copy link
Copy Markdown
Member

@blakeli0 Do we really need them still?

@blakeli0
Copy link
Copy Markdown
Contributor

I don't have the full context of this. It seems @suztomo reviewed the original PR.
From the description of the original issue though, it would be useful for troubleshooting. So if it's not too much toil, I think we should keep it.

@chingor13 chingor13 merged commit d44fe7a into main Apr 15, 2026
110 checks passed
@chingor13 chingor13 deleted the additional-tags branch April 15, 2026 21:21
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.

4 participants