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
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
Add /rerun slash command for failed internal checks Check overlay annotations #5713: Pull request #21414 opened by redsun82
21s redsun82/rerun-slash-command
redsun82/rerun-slash-command
21s
Inline expectation tests should always have space before and after $ Check overlay annotations #5712: Pull request #21405 synchronize by owen-mc
19s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
19s
Inline expectation tests should always have space before and after $ Check overlay annotations #5711: Pull request #21405 synchronize by owen-mc
21s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
21s
Java: Make Assignment extend BinaryExpr. Check overlay annotations #5710: Pull request #21412 synchronize by aschackmull
21s aschackmull:java/binary-assignment
aschackmull:java/binary-assignment
21s
Guards: Improve performance of forall in guardDeterminesPhiInput. Check overlay annotations #5709: Pull request #21408 synchronize by aschackmull
19s aschackmull:guards/perf-tweak
aschackmull:guards/perf-tweak
19s
C# 14: User defined compound assignment operators. Check overlay annotations #5708: Pull request #21372 synchronize by michaelnebel
19s michaelnebel:csharp14/usercompoundassignment
michaelnebel:csharp14/usercompoundassignment
19s
Rust: Unify call resolution logic Check overlay annotations #5707: Pull request #21355 synchronize by hvitved
39s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
39s
Merge pull request #21404 from hvitved/dataflow/no-enclosing-stack-fl… Check overlay annotations #5706: Commit b5bf1c5 pushed by hvitved
21s main
main
21s
C# 14: User defined compound assignment operators. Check overlay annotations #5705: Pull request #21372 synchronize by michaelnebel
19s michaelnebel:csharp14/usercompoundassignment
michaelnebel:csharp14/usercompoundassignment
19s
Merge pull request #21413 from github/workflow/coverage/update Check overlay annotations #5704: Commit f389832 pushed by hvitved
37s main
main
37s
C#: Remove some unbounded TC computations Check overlay annotations #5703: Pull request #21348 synchronize by hvitved
18s hvitved:csharp/remove-tcs
hvitved:csharp/remove-tcs
18s
C++: IR: Drop the aliased SSA Check overlay annotations #5702: Pull request #21407 synchronize by igfoo
21s igfoo:igfoo/aliased_ir
igfoo:igfoo/aliased_ir
21s
Rust: Unify call resolution logic Check overlay annotations #5701: Pull request #21355 synchronize by hvitved
20s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
20s
C#: Remove some unbounded TC computations Check overlay annotations #5700: Pull request #21348 synchronize by hvitved
20s hvitved:csharp/remove-tcs
hvitved:csharp/remove-tcs
20s
C#: Remove some unbounded TC computations Check overlay annotations #5699: Pull request #21348 synchronize by hvitved
26s hvitved:csharp/remove-tcs
hvitved:csharp/remove-tcs
26s
Merge pull request #21410 from MathiasVP/add-WebSocket-ReceiveAsync-m… Check overlay annotations #5698: Commit 5b30e94 pushed by MathiasVP
26s main
main
26s
Inline expectation tests should always have space before and after $ Check overlay annotations #5697: Pull request #21405 synchronize by owen-mc
33s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
33s
C/C++ overlay: fix entity discard for transitively included headers Check overlay annotations #5696: Pull request #21378 synchronize by IdrissRio
20s idrissrio/cpp/overlay/bug-dca
idrissrio/cpp/overlay/bug-dca
20s
Inline expectation tests should always have space before and after $ Check overlay annotations #5695: Pull request #21405 synchronize by owen-mc
20s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
20s
Inline expectation tests should always have space before and after $ Check overlay annotations #5694: Pull request #21405 synchronize by owen-mc
34s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
34s
C++: IR: Drop the aliased SSA Check overlay annotations #5693: Pull request #21407 synchronize by igfoo
19s igfoo:igfoo/aliased_ir
igfoo:igfoo/aliased_ir
19s
Data flow: Add FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext) flow feature Check overlay annotations #5692: Pull request #21404 synchronize by hvitved
22s hvitved:dataflow/no-enclosing-stack-flow-feature
hvitved:dataflow/no-enclosing-stack-flow-feature
22s
Data flow: Add FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext) flow feature Check overlay annotations #5691: Pull request #21404 synchronize by hvitved
20s hvitved:dataflow/no-enclosing-stack-flow-feature
hvitved:dataflow/no-enclosing-stack-flow-feature
20s
C++: IR: Drop the aliased SSA Check overlay annotations #5690: Pull request #21407 synchronize by igfoo
25s igfoo:igfoo/aliased_ir
igfoo:igfoo/aliased_ir
25s
ProTip! You can narrow down the results and go further in time using created:<2026-03-04 or the other filters available.