Skip to content

Pull requests: github/vscode-codeql

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Add changelog.
#178 by adityasharad was merged Nov 21, 2019 Loading…
Remove dead code from archive filesystem provider
#163 by henrymercer was merged Nov 15, 2019 Loading…
Add decoration to focused item
#164 by asger-semmle was merged Nov 20, 2019 Loading…
Allow removing items from query history
#165 by jcreedcmu was merged Nov 15, 2019 Loading…
Readme: Fix anchor link documentation Improvements or additions to documentation
#166 by shati-patel was merged Nov 15, 2019 Loading…
A few versioning fixes
#167 by dbartol was merged Nov 15, 2019 Loading…
Simplify selected results table handling
#169 by jcreedcmu was merged Nov 19, 2019 Loading…
Fix auto-upgrade script path
#170 by jcreedcmu was merged Nov 18, 2019 Loading…
Implement QL Test support enhancement New feature or request
#173 by dbartol was merged Mar 9, 2020 Loading…
Change distribution settings to machine scope
#174 by henrymercer was merged Nov 21, 2019 Loading…
Add commands for navigating the steps on a path
#175 by asgerf was merged Nov 25, 2019 Loading…
Improvements to Query History Labels
#176 by jcreedcmu was merged Dec 10, 2019 Loading…
Update to TypeScript 3.7.2
#161 by dbartol was merged Nov 14, 2019 Loading…
Improve error handling for CLI installation and updates
#177 by henrymercer was merged Nov 25, 2019 Loading…
Move changelog to be packaged with extension
#179 by shati-patel was merged Nov 22, 2019 Loading…
Bump version to 1.0.2
#180 by dbartol was merged Nov 22, 2019 Loading…
Use quoted query name in view results message
#182 by henrymercer was merged Nov 25, 2019 Loading…
Line 3
#183 by jymok12 was closed Dec 10, 2019 Loading…
Create diagnostics messages using sarif.
#184 by alexet was closed Feb 6, 2020 Loading…
Split queries
#185 by alexet was closed Feb 6, 2020 Loading…
Bump version to v1.0.3
#186 by github-actions bot was closed Dec 3, 2019 Loading…
Log if a database metadata file could not be found
#189 by henrymercer was merged Dec 11, 2019 Loading…
Bump Node version to v20.19.0
#4049 by github-actions bot was merged Jun 6, 2025 Loading…
ProTip! Filter pull requests by the default branch with base:main.