Skip to content
Cherry Pick

Fix an issue where JSON schema extras weren't JSON encoded #1189

Sign in to view logs

Fix an issue where JSON schema extras weren't JSON encoded

Fix an issue where JSON schema extras weren't JSON encoded #1189

Triggered via pull request September 26, 2023 04:20
@dmontagudmontagu
closed #7625
Status Skipped
Total duration 4s
Artifacts –

cherry-pick.yml

on: pull_request_target
Cherry pick into 1.10.X-fixes
0s
Cherry pick into 1.10.X-fixes
Fit to window
Zoom out
Zoom in