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

Allow exporting of results for non-alert queries
#929 by edoardopirovano was merged Aug 23, 2021 Loading…
3 tasks done
Ensure decoded archive fs paths are never empty
#648 by aeisenberg was merged Oct 27, 2020 Loading…
2 tasks done
Throw error instead of using fail method secexp
#2536 by robertbrignull was merged Jun 22, 2023 Loading…
3 tasks
Add decoration to focused item
#164 by asger-semmle was merged Nov 20, 2019 Loading…
Clarify step of the release process
#1530 by robertbrignull was merged Sep 21, 2022 Loading…
3 tasks
MRVA: Add open on GitHub action to cancelled/failed queries
#1325 by charisk was merged Apr 29, 2022 Loading…
3 tasks
Bump minimum VS Code version to 1.82
#2854 by koesie10 was merged Sep 28, 2023 Loading…
3 tasks
Remove rogue semmle link
#3549 by shati-patel was merged Apr 10, 2024 Loading…
3 tasks
Extract external api usage name component and reuse it
#2765 by charisk was merged Aug 31, 2023 Loading…
3 tasks
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…
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…
Improvements to Query History Labels
#176 by jcreedcmu was merged Dec 10, 2019 Loading…
Bump Node version to v20.19.0
#4049 by github-actions bot was merged Jun 6, 2025 Loading…
Log if a database metadata file could not be found
#189 by henrymercer was merged Dec 11, 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…
Improve error handling for CLI installation and updates
#177 by henrymercer was merged Nov 25, 2019 Loading…
Bump version to v1.0.3
#186 by github-actions bot was closed Dec 3, 2019 Loading…
ProTip! Exclude everything labeled bug with -label:bug.