Skip to content

Fix ${workspaceFolder} being added to browse.path if ${workspaceFolder}/* is used. #1167

Fix ${workspaceFolder} being added to browse.path if ${workspaceFolder}/* is used.

Fix ${workspaceFolder} being added to browse.path if ${workspaceFolder}/* is used. #1167

Triggered via pull request February 28, 2025 21:07
Status Success
Total duration 1m 50s
Artifacts

codeql.yml

on: pull_request
Matrix: analyze
Fit to window
Zoom out
Zoom in