Skip to content

[editor] Remove /cli Editor in Favour of Python-server-backed Editor #1144

[editor] Remove /cli Editor in Favour of Python-server-backed Editor

[editor] Remove /cli Editor in Favour of Python-server-backed Editor #1144

Triggered via pull request December 26, 2023 19:47
@rholinsheadrholinshead
synchronize #622
pr622
Status Success
Total duration 1m 2s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pr_python.yml

on: pull_request
Fit to window
Zoom out
Zoom in