Skip to content

Merge branch 'main' into zsh #1722

Merge branch 'main' into zsh

Merge branch 'main' into zsh #1722

Triggered via push February 3, 2026 02:10
Status Success
Total duration 1m 33s
Artifacts 1

pr-check.yml

on: push
Matrix: TypeScript Unit Tests
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
vsix Expired
1.26 MB
sha256:063a85dd31856d944b1ebfb43459ac92680b2e173bb504e6e4bcdd7232f63898