Skip to content

Pull requests: github/vscode-codeql

New pull request New
Clear current search query, filters, and sorts
6 Open 3,361 Closed
6 Open 3,361 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Remove cast now unzipper typedef fix is merged
#162 by henrymercer was merged Nov 15, 2019 Loading… updated Nov 15, 2019
Remove dead code from archive filesystem provider
#163 by henrymercer was merged Nov 15, 2019 Loading… updated Nov 15, 2019
Allow removing items from query history
#165 by jcreedcmu was merged Nov 15, 2019 Loading… updated Nov 15, 2019
1
Update to TypeScript 3.7.2
#161 by dbartol was merged Nov 14, 2019 Loading… updated Nov 15, 2019
1
Readme: Fix anchor link documentation Improvements or additions to documentation
#166 by shati-patel was merged Nov 15, 2019 Loading… updated Nov 16, 2019
1
Fix auto-upgrade script path
#170 by jcreedcmu was merged Nov 18, 2019 Loading… updated Nov 18, 2019
1
Simplify selected results table handling
#169 by jcreedcmu was merged Nov 19, 2019 Loading… updated Nov 19, 2019
4
Add decoration to focused item
#164 by asger-semmle was merged Nov 20, 2019 Loading… updated Nov 20, 2019
3
Add changelog.
#178 by adityasharad was merged Nov 21, 2019 Loading… updated Nov 21, 2019
Move changelog to be packaged with extension
#179 by shati-patel was merged Nov 22, 2019 Loading… updated Nov 22, 2019
1
Bump version to 1.0.2
#180 by dbartol was merged Nov 22, 2019 Loading… updated Nov 25, 2019
Store the current counter value and use it for the sorted results path.
#181 by alexet was merged Nov 25, 2019 Loading… updated Nov 25, 2019
1
Improve error handling for CLI installation and updates
#177 by henrymercer was merged Nov 25, 2019 Loading… updated Nov 25, 2019
Use quoted query name in view results message
#182 by henrymercer was merged Nov 25, 2019 Loading… updated Nov 25, 2019
Add commands for navigating the steps on a path
#175 by asgerf was merged Nov 25, 2019 Loading… updated Nov 25, 2019
4
A few versioning fixes
#167 by dbartol was merged Nov 15, 2019 Loading… updated Nov 26, 2019
2
Bump version to v1.0.3
#186 by github-actions bot was closed Dec 3, 2019 Loading… updated Dec 3, 2019
1
Actions: Open a PR after each release to bump the patch version.
#187 by adityasharad was merged Dec 4, 2019 Loading… updated Dec 4, 2019
1
Fix display of negative integers in results
#192 by dbartol was merged Dec 9, 2019 Loading… updated Dec 9, 2019
Line 3
#183 by jymok12 was closed Dec 10, 2019 Loading… updated Dec 10, 2019
1
Show number of results in results view
#193 by jcreedcmu was merged Dec 10, 2019 Loading… updated Dec 10, 2019
Update marketplace icon
#194 by henrymercer was merged Dec 11, 2019 Loading… updated Dec 11, 2019
Improvements to Query History Labels
#176 by jcreedcmu was merged Dec 10, 2019 Loading… updated Dec 11, 2019
4
Fix sidebar focus change when showing results
#198 by henrymercer was merged Dec 12, 2019 Loading… updated Dec 12, 2019
1
Update changelog
#195 by jcreedcmu was merged Dec 13, 2019 Loading… updated Dec 13, 2019
@shati-patel
4
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.