Skip to content

chore: update jsonnet [PF-3160]#14

Merged
genisd merged 1 commit intomainfrom
PF-3160-pull-jsonnet-20251126140224
Nov 26, 2025
Merged

chore: update jsonnet [PF-3160]#14
genisd merged 1 commit intomainfrom
PF-3160-pull-jsonnet-20251126140224

Conversation

@fhp
Copy link
Member

@fhp fhp commented Nov 26, 2025

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 f1ae31e into main Nov 26, 2025
3 of 4 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