Skip to content
Props Bot

Add Tools Panel dropdown menu props to More block #124300

Sign in to view logs

Add Tools Panel dropdown menu props to More block

Add Tools Panel dropdown menu props to More block #124300

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