Skip to content

Pull requests: github/codeql-action

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

Merge releases/v4 into releases/v3 size/XXL May be extremely hard to review
#3869 by github-actions Bot was merged May 1, 2026 Loading…
7 of 8 tasks
@mbg
3
Merge main into releases/v4 size/XXL May be extremely hard to review
#3867 by github-actions Bot was merged May 1, 2026 Loading…
5 of 8 tasks
@mbg
3
Merge releases/v4 into releases/v3 size/XXL May be extremely hard to review
#3826 by github-actions Bot was merged Apr 15, 2026 Loading…
8 tasks
@henrymercer
3
Merge main into releases/v4 size/XXL May be extremely hard to review
#3824 by github-actions Bot was merged Apr 15, 2026 Loading…
8 tasks
@henrymercer
2
Refactoring: Introduce overlay/caching.ts size/XXL May be extremely hard to review
#3819 by henrymercer Contributor was merged Apr 13, 2026 Loading…
1
Merge releases/v4 into releases/v3 size/XXL May be extremely hard to review
#3778 by github-actions Bot was merged Mar 27, 2026 Loading…
5 of 8 tasks
@oscarsj
4
Merge main into releases/v4 size/XXL May be extremely hard to review
#3776 by github-actions Bot was merged Mar 27, 2026 Loading…
7 of 8 tasks
@oscarsj
2
Merge releases/v4 into releases/v3 size/XXL May be extremely hard to review
#3577 by github-actions Bot was merged Mar 16, 2026 Loading…
7 of 8 tasks
@mbg
7
Merge main into releases/v4 size/XXL May be extremely hard to review
#3574 by github-actions Bot was merged Mar 16, 2026 Loading…
6 of 8 tasks
@mbg
1
Merge releases/v4 into releases/v3 size/XXL May be extremely hard to review
#3553 by github-actions Bot was merged Mar 6, 2026 Loading…
8 tasks done
@oscarsj
2
Merge main into releases/v4 size/XXL May be extremely hard to review
#3551 by github-actions Bot was merged Mar 5, 2026 Loading…
6 of 8 tasks
@oscarsj
1
Run some unit tests in parallel size/XXL May be extremely hard to review
#3542 by henrymercer Contributor was merged Mar 4, 2026 Loading…
11
Merge releases/v4 into releases/v3 size/XXL May be extremely hard to review
#3533 by github-actions Bot was merged Mar 2, 2026 Loading…
8 tasks
@henrymercer
2
Convert sync.py to TypeScript size/XXL May be extremely hard to review
#3526 by mbg Member was merged Mar 3, 2026 Loading…
@mbg
13
Merge main into releases/v4 size/XXL May be extremely hard to review
#3523 by github-actions Bot was merged Mar 2, 2026 Loading…
8 tasks
@henrymercer
5
Merge releases/v4 into releases/v3 size/XXL May be extremely hard to review
#3496 by github-actions Bot was merged Feb 20, 2026 Loading…
7 of 8 tasks
@mbg
3
Merge main into releases/v4 size/XXL May be extremely hard to review
#3494 by github-actions Bot was merged Feb 20, 2026 Loading…
8 tasks done
@mbg
8
Merge releases/v4 into releases/v3 size/XXL May be extremely hard to review
#3254 by github-actions Bot was merged Oct 30, 2025 Loading…
8 tasks
@henrymercer
5
Merge main into releases/v4 size/XXL May be extremely hard to review
#3252 by github-actions Bot was merged Oct 30, 2025 Loading…
5 of 8 tasks
@mbg
1
Merge releases/v4 into releases/v3 size/XXL May be extremely hard to review
#3237 by github-actions Bot was merged Oct 24, 2025 Loading…
8 tasks done
@mbg
2
Merge main into releases/v4 size/XXL May be extremely hard to review
#3235 by github-actions Bot was merged Oct 24, 2025 Loading…
6 of 8 tasks
@mbg
1
ProTip! Add no:assignee to see everything that’s not assigned.