Skip to content

theme.json schema: remove duplicate key #37272

theme.json schema: remove duplicate key

theme.json schema: remove duplicate key #37272

Triggered via pull request May 9, 2024 11:32
@t-hamanot-hamano
opened #61523
Status Skipped
Total duration 2s
Artifacts

props-bot.yml

on: pull_request_target
Generate a list of props
0s
Generate a list of props
Fit to window
Zoom out
Zoom in