Skip to content
Props Bot

Code Editor: Improve types and options handling #56587

Sign in to view logs

Code Editor: Improve types and options handling

Code Editor: Improve types and options handling #56587

Triggered via pull request March 3, 2026 20:01
@sirrealsirreal
synchronize #10900
Status Success
Total duration 12s
Artifacts –

props-bot.yml

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