Skip to content

Pull requests: github/codeql-action

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

Merge main into releases/v4 size/S Should be easy to review
#3426 by github-actions Bot was closed Jan 26, 2026 Loading…
8 tasks
Update PR template to prompt for test coverage
#3210 by Copilot AI was closed Oct 17, 2025 Loading…
Compute preliminary overlay database mode
#3141 by cklin Contributor was closed Dec 11, 2025 Loading…
Removed micromatch Update dependencies Trigger PR workflow to update dependencies
#2797 by ArkVex was closed Mar 7, 2025 Loading…
2 tasks done
Use merge=union for package.json
#2251 by angelapwen Contributor was closed Apr 18, 2024 Loading…
3 tasks done
Merge releases/v3 into releases/v2
#2164 by github-actions Bot was closed Feb 23, 2024 Draft
8 tasks
Merge main into v1
#720 by github-actions Bot was closed Sep 1, 2021 Loading…
5 tasks
ProTip! no:milestone will show everything without a milestone.