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

Update to TypeScript 3.7.2
#161 by dbartol was merged Nov 14, 2019 Loading…
Remove cast now unzipper typedef fix is merged
#162 by henrymercer was merged Nov 15, 2019 Loading…
Remove dead code from archive filesystem provider
#163 by henrymercer was merged Nov 15, 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…
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…
Improve error handling for CLI installation and updates
#177 by henrymercer was merged Nov 25, 2019 Loading…
Add changelog.
#178 by adityasharad was merged Nov 21, 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…
Log if a database metadata file could not be found
#189 by henrymercer was merged Dec 11, 2019 Loading…
Enable unused value compiler checks
#190 by henrymercer was merged Dec 11, 2019 Loading…
Fix display of negative integers in results
#192 by dbartol was merged Dec 9, 2019 Loading…
Show number of results in results view
#193 by jcreedcmu was merged Dec 10, 2019 Loading…
Update marketplace icon
#194 by henrymercer was merged Dec 11, 2019 Loading…
Fix sidebar focus change when showing results
#198 by henrymercer was merged Dec 12, 2019 Loading…
Base the version bump PR on master
#199 by henrymercer was merged Dec 13, 2019 Loading…
Bump extension version to 1.0.3
#200 by henrymercer was merged Dec 17, 2019 Loading…
Reduce update check frequency
#202 by henrymercer was merged Jan 3, 2020 Loading…
ProTip! What’s not been updated in a month: updated:<2025-05-19.