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 #20999 from joefarebrother/java-spring-websocket Check overlay annotations #4487: Commit 6a3c74c pushed by owen-mc
17s main
main
17s
Java: revert filtering of ancillary data extraction Check overlay annotations #4486: Pull request #21117 opened by smowton
18s smowton:smowton/admin/revert-java-paths-directives
smowton:smowton/admin/revert-java-paths-directives
18s
Add overlay[local] annotations Check overlay annotations #4485: Pull request #21116 opened by tausbn
20s tausbn/python-add-dataflow-overlay-annotations
tausbn/python-add-dataflow-overlay-annotations
20s
Rust: Handle Deref trait in type inference and data flow Check overlay annotations #4484: Pull request #20987 synchronize by hvitved
19s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
19s
Merge pull request #21114 from hvitved/rust/exclude-result-err-taint-… Check overlay annotations #4483: Commit 2d4da80 pushed by hvitved
17s main
main
17s
Merge pull request #21065 from michaelnebel/csharp/implicitspanconver… Check overlay annotations #4482: Commit 7ed3d3f pushed by michaelnebel
18s main
main
18s
C++: Remove safeFloor in simple range analysis Check overlay annotations #4481: Pull request #21113 synchronize by paldepind
18s paldepind:cpp/range-analysis-float-ceil
paldepind:cpp/range-analysis-float-ceil
18s
Java: Add models for spring WebSocketHandler Check overlay annotations #4480: Pull request #20999 synchronize by owen-mc
21s joefarebrother:java-spring-websocket
joefarebrother:java-spring-websocket
21s
Rust: Add Result::Err to excludeFieldTaintStep Check overlay annotations #4479: Pull request #21114 opened by hvitved
20s hvitved:rust/exclude-result-err-taint-step
hvitved:rust/exclude-result-err-taint-step
20s
C++: Remove safeFloor in simple range analysis Check overlay annotations #4478: Pull request #21113 opened by paldepind
20s paldepind:cpp/range-analysis-float-ceil
paldepind:cpp/range-analysis-float-ceil
20s
JS: Incremental API graph Check overlay annotations #4477: Pull request #20733 synchronize by asgerf
19s asgerf:js/incremental-api-graphs
asgerf:js/incremental-api-graphs
19s
Kotlin: Support Kotlin 2.3.0 Check overlay annotations #4476: Pull request #20965 synchronize by andersfugmann
18s andersfugmann/kotlin_2.3.0-beta2
andersfugmann/kotlin_2.3.0-beta2
18s
Rust: Handle Deref trait in type inference and data flow Check overlay annotations #4475: Pull request #20987 synchronize by hvitved
18s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
18s
Rust: Handle Deref trait in type inference and data flow Check overlay annotations #4474: Pull request #20987 synchronize by hvitved
19s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
19s
Merge pull request #21107 from geoffw0/rusttest Check overlay annotations #4473: Commit 503a1b5 pushed by geoffw0
19s main
main
19s
Kotlin: Support Kotlin 2.3.0 Check overlay annotations #4472: Pull request #20965 synchronize by andersfugmann
19s andersfugmann/kotlin_2.3.0-beta2
andersfugmann/kotlin_2.3.0-beta2
19s
Rust: Regenerate models Check overlay annotations #4471: Pull request #21023 synchronize by paldepind
19s paldepind:rust/regenerate-models-1212
paldepind:rust/regenerate-models-1212
19s
Kotlin: Support Kotlin 2.3.0 Check overlay annotations #4470: Pull request #20965 synchronize by andersfugmann
18s andersfugmann/kotlin_2.3.0-beta2
andersfugmann/kotlin_2.3.0-beta2
18s
C# 14: Implicit span conversions. Check overlay annotations #4469: Pull request #21065 synchronize by michaelnebel
21s michaelnebel:csharp/implicitspanconversions
michaelnebel:csharp/implicitspanconversions
21s
Rust: switch on TRAP compression Check overlay annotations #4468: Pull request #21112 opened by redsun82
18s redsun82/rust-compress-trap
redsun82/rust-compress-trap
18s
Merge pull request #21111 from github/workflow/coverage/update Check overlay annotations #4467: Commit 77b0c4b pushed by michaelnebel
19s main
main
19s
C++: Remove decimal floating point types Check overlay annotations #4466: Pull request #21110 opened by jketema
18s jketema:jketema/rm-decimal
jketema:jketema/rm-decimal
18s
Go: Support for MaD barriers and barrier guards. Check overlay annotations #4465: Pull request #21015 synchronize by owen-mc
18s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
18s
Go: misc trivial fixes Check overlay annotations #4464: Pull request #21109 opened by owen-mc
20s owen-mc:go/misc-trivial-fixes
owen-mc:go/misc-trivial-fixes
20s
Go: Support for MaD barriers and barrier guards. Check overlay annotations #4463: Pull request #21015 synchronize by owen-mc
17s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
17s
ProTip! You can narrow down the results and go further in time using created:<2026-01-06 or the other filters available.