Skip to content

Remove unwanted text selection when Structure Matching #243

Remove unwanted text selection when Structure Matching

Remove unwanted text selection when Structure Matching #243

Triggered via pull request October 10, 2023 12:49
Status Success
Total duration 1m 23s
Artifacts 1

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
vscode-vsix Expired
11.5 MB