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: Implicit span conversions. Check overlay annotations #4334: Pull request #21065 opened by michaelnebel
20s michaelnebel:csharp/implicitspanconversions
michaelnebel:csharp/implicitspanconversions
20s
Rust: Handle Deref trait in type inference and data flow Check overlay annotations #4333: Pull request #20987 synchronize by hvitved
20s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
20s
Shared: Provenance-based filtering of flow summaries Check overlay annotations #4332: Pull request #21051 synchronize by hvitved
18s hvitved:shared/flow-summary-provenance-filtering
hvitved:shared/flow-summary-provenance-filtering
18s
Merge pull request #21059 from paldepind/rust/adt-class Check overlay annotations #4331: Commit da99bbf pushed by paldepind
18s main
main
18s
Rust: Improve and rename Adt class Check overlay annotations #4330: Pull request #21059 synchronize by paldepind
20s paldepind:rust/adt-class
paldepind:rust/adt-class
20s
C/C++ overlay: discard single location elements Check overlay annotations #4329: Pull request #21063 opened by IdrissRio
20s idrissrio/cpp/overlay/single-location
idrissrio/cpp/overlay/single-location
20s
Shared: Provenance-based filtering of flow summaries Check overlay annotations #4328: Pull request #21051 synchronize by hvitved
18s hvitved:shared/flow-summary-provenance-filtering
hvitved:shared/flow-summary-provenance-filtering
18s
Shared: Provenance-based filtering of flow summaries Check overlay annotations #4327: Pull request #21051 synchronize by hvitved
19s hvitved:shared/flow-summary-provenance-filtering
hvitved:shared/flow-summary-provenance-filtering
19s
Shared: Provenance-based filtering of flow summaries Check overlay annotations #4326: Pull request #21051 synchronize by hvitved
20s hvitved:shared/flow-summary-provenance-filtering
hvitved:shared/flow-summary-provenance-filtering
20s
Rust: Handle Deref trait in type inference and data flow Check overlay annotations #4323: Pull request #20987 synchronize by hvitved
20s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
20s
Clarify Path.Combine call behavior Check overlay annotations #4322: Pull request #21038 synchronize by jonjanego
26s path-combine-name-desc-update
path-combine-name-desc-update
26s
Clarify Path.Combine call behavior Check overlay annotations #4321: Pull request #21038 synchronize by jonjanego
25s path-combine-name-desc-update
path-combine-name-desc-update
25s
Rust: Handle Deref trait in type inference and data flow Check overlay annotations #4320: Pull request #20987 synchronize by hvitved
19s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
19s
Rust: Distinguish &mut T from &T in type inference Check overlay annotations #4319: Pull request #20973 synchronize by hvitved
26s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
26s
Rust: Distinguish &mut T from &T in type inference Check overlay annotations #4318: Pull request #20973 synchronize by hvitved
24s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
24s
Merge pull request #21060 from hvitved/shared/unbound-list Check overlay annotations #4317: Commit 98dc439 pushed by hvitved
20s main
main
20s
Clarify Path.Combine call behavior Check overlay annotations #4316: Pull request #21038 synchronize by jonjanego
23s path-combine-name-desc-update
path-combine-name-desc-update
23s
Clarify Path.Combine call behavior Check overlay annotations #4315: Pull request #21038 synchronize by jonjanego
21s path-combine-name-desc-update
path-combine-name-desc-update
21s
Merge pull request #20878 from paldepind/rust/axum-model Check overlay annotations #4314: Commit 9e8735f pushed by paldepind
20s main
main
20s
Rust: Handle Deref trait in type inference and data flow Check overlay annotations #4313: Pull request #20987 synchronize by hvitved
19s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
19s
Merge pull request #21057 from hvitved/rust/fix-bad-join Check overlay annotations #4312: Commit 47e375f pushed by hvitved
20s main
main
20s
Rust: Distinguish &mut T from &T in type inference Check overlay annotations #4311: Pull request #20973 synchronize by hvitved
21s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
21s
Rust: Distinguish &mut T from &T in type inference Check overlay annotations #4310: Pull request #20973 synchronize by hvitved
18s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
18s
Merge pull request #21043 from hvitved/rust/type-inference-trait-boun… Check overlay annotations #4309: Commit adfaefd pushed by hvitved
21s main
main
21s
Rust: Improve and rename Adt class Check overlay annotations #4307: Pull request #21059 synchronize by paldepind
26s paldepind:rust/adt-class
paldepind:rust/adt-class
26s
ProTip! You can narrow down the results and go further in time using created:<2025-12-17 or the other filters available.