Skip to content
Props Bot

Code Editor: Improve types and options handling #54746

Sign in to view logs

Code Editor: Improve types and options handling

Code Editor: Improve types and options handling #54746

Triggered via pull request February 22, 2026 23:15
@westonruterwestonruter
synchronize #10900
Status Success
Total duration 8s
Artifacts –

props-bot.yml

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