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
Bump actions/download-artifact from 4 to 8 Check overlay annotations #6122: Pull request #21500 synchronize by dependabot Bot
19s dependabot/github_actions/actions/download-artifact-8
dependabot/github_actions/actions/download-artifact-8
19s
Rust: Infer argument types based on trait bounds on parameters Check overlay annotations #6121: Pull request #21206 synchronize by hvitved
18s hvitved:rust/type-inference-closure-param-context-typed
hvitved:rust/type-inference-closure-param-context-typed
18s
Merge pull request #21510 from hvitved/ci/remove-ruby-checks Check overlay annotations #6120: Commit 9a4bc69 pushed by hvitved
18s main
main
18s
Java: Accept new test results after JDK 26 extractor upgrade Check overlay annotations #6119: Pull request #21494 synchronize by IdrissRio
18s idrissrio/java/jdk26
idrissrio/java/jdk26
18s
Java: Accept new test results after JDK 26 extractor upgrade Check overlay annotations #6118: Pull request #21494 synchronize by IdrissRio
19s idrissrio/java/jdk26
idrissrio/java/jdk26
19s
Add IndirectUninitializedNode and related helper predicates Check overlay annotations #6117: Pull request #21458 synchronize by jeongsoolee09
19s jeongsoolee09/add-getIndirectionIndex
jeongsoolee09/add-getIndirectionIndex
19s
Add IndirectUninitializedNode and related helper predicates Check overlay annotations #6116: Pull request #21458 synchronize by jeongsoolee09
20s jeongsoolee09/add-getIndirectionIndex
jeongsoolee09/add-getIndirectionIndex
20s
C++: Handle field initialization via NSDMI in IR generation Check overlay annotations #6115: Pull request #21391 synchronize by jketema
21s jketema:jketema/nsdmi
jketema:jketema/nsdmi
21s
Qlucie trigger Check overlay annotations #6114: Pull request #21524 opened by sam-robson
21s sam-robson/testing-qlucie
sam-robson/testing-qlucie
21s
Rust: Add support for defining barriers and barrier guards using models-as-data Check overlay annotations #6113: Pull request #21475 synchronize by owen-mc
19s owen-mc:rust/mad-barriers
owen-mc:rust/mad-barriers
19s
Document models-as-data barriers and barrier guards and add change notes Check overlay annotations #6112: Pull request #21523 synchronize by owen-mc
23s owen-mc:docs/mad/barriers
owen-mc:docs/mad/barriers
23s
Document models-as-data barriers and barrier guards and add change notes Check overlay annotations #6111: Pull request #21523 opened by owen-mc
19s owen-mc:docs/mad/barriers
owen-mc:docs/mad/barriers
19s
C#: Replace CFG with the shared implementation. Check overlay annotations #6110: Pull request #21513 synchronize by aschackmull
19s aschackmull:csharp/cfg
aschackmull:csharp/cfg
19s
Merge pull request #21464 from hvitved/rust/type-inference-trait-boun… Check overlay annotations #6109: Commit f99f26f pushed by hvitved
20s main
main
20s
Python: Port simple points-to queries without DCA alert changes Check overlay annotations #6108: Pull request #21519 synchronize by tausbn
19s tausbn/python-port-no-alert-change
tausbn/python-port-no-alert-change
19s
Merge pull request #21512 from paldepind/cpp/extraction-information Check overlay annotations #6107: Commit f6c81ff pushed by paldepind
20s main
main
20s
Data flow: Prevent context-sensitive dispatch in source call contexts Check overlay annotations #6106: Pull request #21521 synchronize by hvitved
18s hvitved:dataflow/source-call-ctx-dispatch
hvitved:dataflow/source-call-ctx-dispatch
18s
C++: Handle field initialization via NSDMI in IR generation Check overlay annotations #6105: Pull request #21391 synchronize by jketema
18s jketema:jketema/nsdmi
jketema:jketema/nsdmi
18s
Ruby: Use empty DB stats Check overlay annotations #6104: Pull request #21511 synchronize by hvitved
18s hvitved:ruby/empty-stats
hvitved:ruby/empty-stats
18s
C#: Remove expanded assignments. Check overlay annotations #6103: Pull request #21452 synchronize by michaelnebel
20s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
20s
C#: Remove expanded assignments. Check overlay annotations #6102: Pull request #21452 synchronize by michaelnebel
17s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
17s
Ruby: Use empty DB stats Check overlay annotations #6101: Pull request #21511 synchronize by hvitved
20s hvitved:ruby/empty-stats
hvitved:ruby/empty-stats
20s
Rust: Add support for defining barriers and barrier guards using models-as-data Check overlay annotations #6100: Pull request #21475 synchronize by owen-mc
22s owen-mc:rust/mad-barriers
owen-mc:rust/mad-barriers
22s
Merge pull request #21522 from jketema/swift-linux-test Check overlay annotations #6099: Commit 02f8984 pushed by jketema
18s main
main
18s
Rust: Add support for defining barriers and barrier guards using models-as-data Check overlay annotations #6098: Pull request #21475 synchronize by owen-mc
20s owen-mc:rust/mad-barriers
owen-mc:rust/mad-barriers
20s
ProTip! You can narrow down the results and go further in time using created:<2026-03-20 or the other filters available.