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
JS: Accept MaD sanitizers for queries with MaD sinks Check overlay annotations #5382: Pull request #21336 synchronize by owen-mc
19s owen-mc:js/accept-mad-sanitizers
owen-mc:js/accept-mad-sanitizers
19s
C# 14: Support for partial constructor declarations. Check overlay annotations #5381: Pull request #21335 synchronize by michaelnebel
20s michaelnebel:csharp14/partialconstrucstors
michaelnebel:csharp14/partialconstrucstors
20s
C# 14: Support for partial constructor declarations. Check overlay annotations #5380: Pull request #21335 synchronize by michaelnebel
21s michaelnebel:csharp14/partialconstrucstors
michaelnebel:csharp14/partialconstrucstors
21s
Java/Cfg: Introduce new shared CFG library and replace the Java CFG. Check overlay annotations #5379: Pull request #21290 synchronize by aschackmull
20s aschackmull:cfg/new-shared
aschackmull:cfg/new-shared
20s
Merge pull request #21325 from michaelnebel/csharp14/partialmembers Check overlay annotations #5378: Commit a8e93e7 pushed by michaelnebel
23s main
main
23s
Merge pull request #21338 from github/idrissrio/java/fix-change-note Check overlay annotations #5377: Commit 744ade6 pushed by IdrissRio
19s main
main
19s
Merge pull request #21337 from github/idrissrio/java/jdk26-note Check overlay annotations #5376: Commit c877487 pushed by IdrissRio
19s main
main
19s
Java: Fix Maven change note Check overlay annotations #5375: Pull request #21338 opened by IdrissRio
19s idrissrio/java/fix-change-note
idrissrio/java/fix-change-note
19s
Java: Add change note for Java 26 and updated supported languages Check overlay annotations #5374: Pull request #21337 synchronize by IdrissRio
19s idrissrio/java/jdk26-note
idrissrio/java/jdk26-note
19s
Java: Add change note for Java 26 and updated supported languages Check overlay annotations #5373: Pull request #21337 opened by IdrissRio
19s idrissrio/java/jdk26-note
idrissrio/java/jdk26-note
19s
JS: Accept MaD sanitizers for queries with MaD sinks Check overlay annotations #5372: Pull request #21336 opened by owen-mc
21s owen-mc:js/accept-mad-sanitizers
owen-mc:js/accept-mad-sanitizers
21s
C++: Update expected test results after extractor changes Check overlay annotations #5371: Pull request #21208 synchronize by jketema
23s jketema:jketema/softfloat
jketema:jketema/softfloat
23s
Rust: Restrict type propagation into receivers Check overlay annotations #5370: Pull request #21333 synchronize by hvitved
19s hvitved:rust/type-inference-restrict-receiver-type-propagation
hvitved:rust/type-inference-restrict-receiver-type-propagation
19s
C# 14: Support for partial constructor declarations. Check overlay annotations #5369: Pull request #21335 synchronize by michaelnebel
18s michaelnebel:csharp14/partialconstrucstors
michaelnebel:csharp14/partialconstrucstors
18s
C# 14: Support for partial constructor declarations. Check overlay annotations #5368: Pull request #21335 opened by michaelnebel
18s michaelnebel:csharp14/partialconstrucstors
michaelnebel:csharp14/partialconstrucstors
18s
Tmp/kotlin2 test Check overlay annotations #5367: Pull request #21334 opened by aschackmull
20s aschackmull:tmp/kotlin2-test
aschackmull:tmp/kotlin2-test
20s
Merge pull request #21309 from michaelnebel/csharp14/field Check overlay annotations #5366: Commit fa27eaa pushed by michaelnebel
21s main
main
21s
Java/Cfg: Introduce new shared CFG library and replace the Java CFG. Check overlay annotations #5365: Pull request #21290 synchronize by aschackmull
18s aschackmull:cfg/new-shared
aschackmull:cfg/new-shared
18s
Rust: Make path resolution robust against invalid code with conflicting declarations Check overlay annotations #5364: Pull request #21311 synchronize by hvitved
19s hvitved:rust/path-resolution-remove-duplicates
hvitved:rust/path-resolution-remove-duplicates
19s
Rust: Make path resolution robust against invalid code with conflicting declarations Check overlay annotations #5363: Pull request #21311 synchronize by hvitved
20s hvitved:rust/path-resolution-remove-duplicates
hvitved:rust/path-resolution-remove-duplicates
20s
C/C++ overlay: discard single location elements Check overlay annotations #5362: Pull request #21063 synchronize by IdrissRio
17s idrissrio/cpp/overlay/single-location
idrissrio/cpp/overlay/single-location
17s
C++: Modernize MustFlow and fix allowInterproceduralFlow in the case of direct recursion Check overlay annotations #5361: Pull request #21331 synchronize by jketema
23s jketema:must-flow
jketema:must-flow
23s
Merge pull request #21319 from owen-mc/java/javax-jakarta Check overlay annotations #5360: Commit 94e3d86 pushed by owen-mc
19s main
main
19s
C++: Modernize MustFlow and fix allowInterproceduralFlow in the case of direct recursion Check overlay annotations #5359: Pull request #21331 synchronize by jketema
19s jketema:must-flow
jketema:must-flow
19s
Rust: Restrict type propagation into receivers Check overlay annotations #5358: Pull request #21333 opened by hvitved
20s hvitved:rust/type-inference-restrict-receiver-type-propagation
hvitved:rust/type-inference-restrict-receiver-type-propagation
20s
ProTip! You can narrow down the results and go further in time using created:<2026-02-17 or the other filters available.