Skip to content

Actions: github/codeql

Actions

Check overlay annotations

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-overlay-annotations.yml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
C# 14: User defined compound assignment operators. Check overlay annotations #5738: Pull request #21372 synchronize by michaelnebel
20s michaelnebel:csharp14/usercompoundassignment
michaelnebel:csharp14/usercompoundassignment
20s
Merge pull request #21417 from aschackmull/csharp/binary-assignment Check overlay annotations #5737: Commit 76346ec pushed by aschackmull
20s main
main
20s
Merge pull request #21348 from hvitved/csharp/remove-tcs Check overlay annotations #5736: Commit feb45e5 pushed by hvitved
18s main
main
18s
Rust: Unify call resolution logic Check overlay annotations #5735: Pull request #21355 synchronize by hvitved
20s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
20s
Python: Improve modelling of overloaded methods Check overlay annotations #5734: Pull request #21419 synchronize by tausbn
3m 2s tausbn/python-improve-overloaded-method-resolution
tausbn/python-improve-overloaded-method-resolution
3m 2s
Python: Improve modelling of overloaded methods Check overlay annotations #5733: Pull request #21419 synchronize by tausbn
38s tausbn/python-improve-overloaded-method-resolution
tausbn/python-improve-overloaded-method-resolution
38s
Python: Improve modelling of overloaded methods Check overlay annotations #5732: Pull request #21419 reopened by tausbn
22s tausbn/python-improve-overloaded-method-resolution
tausbn/python-improve-overloaded-method-resolution
22s
Rust: More conservative resolution of <Foo as Bar<...>> paths Check overlay annotations #5731: Pull request #21420 synchronize by hvitved
20s hvitved:rust/type-inference-qualified-trait-arg-path
hvitved:rust/type-inference-qualified-trait-arg-path
20s
Rust: More conservative resolution of <Foo as Bar<...>> paths Check overlay annotations #5730: Pull request #21420 opened by hvitved
2m 12s hvitved:rust/type-inference-qualified-trait-arg-path
hvitved:rust/type-inference-qualified-trait-arg-path
2m 12s
C++: IR: Drop the aliased SSA Check overlay annotations #5729: Pull request #21407 synchronize by igfoo
24s igfoo:igfoo/aliased_ir
igfoo:igfoo/aliased_ir
24s
C++: IR: Drop the aliased SSA Check overlay annotations #5728: Pull request #21407 synchronize by igfoo
20s igfoo:igfoo/aliased_ir
igfoo:igfoo/aliased_ir
20s
C#: Add model validation for constructor summary models Check overlay annotations #5727: Pull request #21416 synchronize by owen-mc
48s owen-mc:csharp/validate-constructor-summary-models
owen-mc:csharp/validate-constructor-summary-models
48s
Swift: Update to Swift 6.2.4 Check overlay annotations #5726: Pull request #21418 opened by jketema
24s jketema/swift-6.2.4
jketema/swift-6.2.4
24s
Rust: Unify call resolution logic Check overlay annotations #5725: Pull request #21355 synchronize by hvitved
19s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
19s
C#: Make Assignment extend BinaryOperation. Check overlay annotations #5724: Pull request #21417 opened by aschackmull
18s aschackmull:csharp/binary-assignment
aschackmull:csharp/binary-assignment
18s
Python: Remove some simple uses of points-to Check overlay annotations #5723: Pull request #21350 synchronize by tausbn
20s tausbn/python-remove-simple-points-to
tausbn/python-remove-simple-points-to
20s
Java: validate constructor summary models Check overlay annotations #5722: Pull request #21415 synchronize by owen-mc
20s owen-mc:java/validate-constructor-summary-models
owen-mc:java/validate-constructor-summary-models
20s
Python: Remove some simple uses of points-to Check overlay annotations #5721: Pull request #21350 synchronize by tausbn
22s tausbn/python-remove-simple-points-to
tausbn/python-remove-simple-points-to
22s
Merge pull request #21369 from asgerf/js/this-bindings Check overlay annotations #5720: Commit c9fa7fa pushed by asgerf
23s main
main
23s
Merge pull request #21412 from aschackmull/java/binary-assignment Check overlay annotations #5719: Commit 8ef4be4 pushed by aschackmull
19s main
main
19s
C#: Add model validation for constructor summary models Check overlay annotations #5718: Pull request #21416 opened by owen-mc
19s owen-mc:csharp/validate-constructor-summary-models
owen-mc:csharp/validate-constructor-summary-models
19s
Java: validate constructor summary models Check overlay annotations #5717: Pull request #21415 synchronize by owen-mc
19s owen-mc:java/validate-constructor-summary-models
owen-mc:java/validate-constructor-summary-models
19s
Java: validate constructor summary models Check overlay annotations #5716: Pull request #21415 opened by owen-mc
20s owen-mc:java/validate-constructor-summary-models
owen-mc:java/validate-constructor-summary-models
20s
Merge pull request #21408 from aschackmull/guards/perf-tweak Check overlay annotations #5715: Commit 3e7a966 pushed by aschackmull
20s main
main
20s
Merge pull request #21405 from owen-mc/java/consistent-inline-expecta… Check overlay annotations #5714: Commit 926725a pushed by owen-mc
20s main
main
20s
ProTip! You can narrow down the results and go further in time using created:<2026-03-05 or the other filters available.