Skip to content

ci: improve pipeline parameters defaults handling [backport plugin/apps]#15

Merged
pierantoniomerlino merged 1 commit into
plugin/appsfrom
backport/pr14
Apr 15, 2026
Merged

ci: improve pipeline parameters defaults handling [backport plugin/apps]#15
pierantoniomerlino merged 1 commit into
plugin/appsfrom
backport/pr14

Conversation

@mattdibi

@mattdibi mattdibi commented Apr 15, 2026

Copy link
Copy Markdown
Member

Backport of #14

@mattdibi mattdibi changed the title ci: improve pipeline parameters defaults handling (#14) ci: improve pipeline parameters defaults handling [backport plugin/apps Apr 15, 2026
@mattdibi mattdibi changed the title ci: improve pipeline parameters defaults handling [backport plugin/apps ci: improve pipeline parameters defaults handling [backport plugin/apps] Apr 15, 2026
@pierantoniomerlino
pierantoniomerlino merged commit 923f1eb into plugin/apps Apr 15, 2026
5 checks passed
@pierantoniomerlino
pierantoniomerlino deleted the backport/pr14 branch April 15, 2026 14:29
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