Skip to content

chore: update jsonnet [PF-3330]#31

Merged
genisd merged 1 commit into
mainfrom
PF-3330-pull-jsonnet-20260508115918
May 8, 2026
Merged

chore: update jsonnet [PF-3330]#31
genisd merged 1 commit into
mainfrom
PF-3330-pull-jsonnet-20260508115918

Conversation

@genisd
Copy link
Copy Markdown
Member

@genisd genisd commented May 8, 2026

PR created using a script. Please review and merge.

@genisd genisd added the jsonnet-update jsonnet update label, used for the update script to prevent duplicate PRs. label May 8, 2026
@genisd genisd merged commit a5f1177 into main May 8, 2026
1 of 2 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