Skip to content

chore: update jsonnet [PF-3380]#35

Merged
fhp merged 1 commit into
mainfrom
PF-3380-pull-jsonnet-20260702144423
Jul 2, 2026
Merged

chore: update jsonnet [PF-3380]#35
fhp merged 1 commit into
mainfrom
PF-3380-pull-jsonnet-20260702144423

Conversation

@fhp

@fhp fhp commented Jul 2, 2026

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 Jul 2, 2026
@fhp
fhp merged commit b655567 into main Jul 2, 2026
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.

1 participant