Skip to content

Making right pane editable and update source on changes. #103

Making right pane editable and update source on changes.

Making right pane editable and update source on changes. #103

Triggered via pull request November 6, 2025 11:03
Status Success
Total duration 3m 36s
Artifacts 1

build.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
extension-artifacts
311 KB
sha256:0d77b800dd864f54e4b5fb4e5d35b3326f42afa3624e6ac9c4e8d0de58a1cdbd