Skip to content

Code Editor: Improve types and options handling #44434

Code Editor: Improve types and options handling

Code Editor: Improve types and options handling #44434

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

pull-request-comments.yml

on: pull_request_target
post-welcome-message
4s
post-welcome-message
Comment on a pull request with Playground details
0s
Comment on a pull request with Playground details
Manage Trac ticket reminders for pull requests
4s
Manage Trac ticket reminders for pull requests
Fit to window
Zoom out
Zoom in