Skip to content
Props Bot

Add Tools Panel dropdown menu props to More block #124299

Sign in to view logs

Add Tools Panel dropdown menu props to More block

Add Tools Panel dropdown menu props to More block #124299

Triggered via pull request December 23, 2024 14:33
@t-hamanot-hamano
labeled #68039
Status Cancelled
Total duration 1s
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