Skip to content

chore: update jsonnet [PF-3160] - #29

Merged
genisd merged 1 commit into
mainfrom
PF-3160-pull-jsonnet-20251126105334
Nov 26, 2025
Merged

chore: update jsonnet [PF-3160]#29
genisd merged 1 commit into
mainfrom
PF-3160-pull-jsonnet-20251126105334

Conversation

@fhp

@fhp fhp commented Nov 26, 2025

Copy link
Copy Markdown
Member

PR created using a script. Please review and merge.

@fhp fhp added the jsonnet-update jsonnet update label, used for the update script to prevent duplicate PRs. label Nov 26, 2025
@genisd
genisd merged commit 1e90ddc into main Nov 26, 2025
2 of 3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

jsonnet-update jsonnet update label, used for the update script to prevent duplicate PRs.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants