Skip to content

Pull requests: github/vscode-codeql

New pull request New
Clear current search query, filters, and sorts
7 Open 3,356 Closed
7 Open 3,356 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

Include column numbers in location URLs
#2406 by Marcono1234 was merged Jul 19, 2023 Loading…
3 tasks
9 🚀 1
Add experimental support for Jump-to-def and Find-references
#337 by jcreedcmu was merged Apr 28, 2020 Loading…
2 tasks done
8 🚀 1
Bump Node version to v18.17.1
#3313 by github-actions bot was merged Feb 2, 2024 Loading…
@koesie10
1 🚀 1
Deprecate download from LGTM by hiding it behind canary flag
#1467 by koesie10 was merged Sep 16, 2022 Loading…
1 of 3 tasks
5 🚀 1
Made the repo list in the remote query view expandable
#1039 by charisk was merged Dec 9, 2021 Loading…
3 tasks
8 🚀 1
Remove the use of VSCodeTag
#3983 by tuan-nguen was merged Apr 1, 2025 Loading…
5 🚀 1
Bump version to v1.5.3
#913 by github-actions bot was merged Jul 13, 2021 Loading…
🚀 1
Remote queries view using mock data
#1023 by charisk was merged Dec 1, 2021 Loading…
3 tasks
21 🚀 1
Use first-party action for creating release PR
#2031 by koesie10 was merged Feb 1, 2023 Loading…
3 tasks
1 🚀 1
MRVA: Export results to local markdown files
#1344 by shati-patel was merged May 17, 2022 Loading…
3 tasks
11 🚀 1
Handle nonprint chars
#963 by marcnjaramillo was merged Oct 8, 2021 Loading…
3 tasks
1
8 🚀 1
Use the correct environment variable in integration tests
#994 by aeisenberg was merged Nov 3, 2021 Loading…
7 🚀 1
Update selected code flow when data flow paths change secexp
#2288 by charisk was merged Apr 11, 2023 Loading…
1 of 3 tasks
1 🚀 1
Allow removing items from query history
#165 by jcreedcmu was merged Nov 15, 2019 Loading…
1
Readme: Fix anchor link documentation Improvements or additions to documentation
#166 by shati-patel was merged Nov 15, 2019 Loading…
1
Simplify selected results table handling
#169 by jcreedcmu was merged Nov 19, 2019 Loading…
4
Change distribution settings to machine scope
#174 by henrymercer was merged Nov 21, 2019 Loading…
1
Add commands for navigating the steps on a path
#175 by asgerf was merged Nov 25, 2019 Loading…
4
Improvements to Query History Labels
#176 by jcreedcmu was merged Dec 10, 2019 Loading…
4
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…
Actions: Open a PR after each release to bump the patch version.
#187 by adityasharad was merged Dec 4, 2019 Loading…
1
Bump Node version to v20.19.0
#4049 by github-actions bot was merged Jun 6, 2025 Loading…
@koesie10
2
Bump version to v1.0.3
#186 by github-actions bot was closed Dec 3, 2019 Loading…
1
Improve error handling for CLI installation and updates
#177 by henrymercer was merged Nov 25, 2019 Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.