Skip to content

chore: update jsonnet [PF-3212]#30

Merged
fhp merged 1 commit intomainfrom
PF-3212-pull-jsonnet-20260120163424
Jan 20, 2026
Merged

chore: update jsonnet [PF-3212]#30
fhp merged 1 commit intomainfrom
PF-3212-pull-jsonnet-20260120163424

Conversation

@fhp
Copy link
Member

@fhp fhp commented Jan 20, 2026

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 Jan 20, 2026
@fhp fhp merged commit 04977c2 into main Jan 20, 2026
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.

1 participant

Comments