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
Rust: Also use specialized types when inferring types for calls Check overlay annotations #4206: Pull request #21027 opened by hvitved
18s hvitved:rust/type-inference-matching-specialization
hvitved:rust/type-inference-matching-specialization
18s
Rust: Distinguish &mut T from &T in type inference Check overlay annotations #4205: Pull request #20973 synchronize by hvitved
20s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
20s
Rust: Distinguish &mut T from &T in type inference Check overlay annotations #4204: Pull request #20973 synchronize by hvitved
30s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
30s
Merge pull request #21020 from hvitved/shared/source-sink-provenance-… Check overlay annotations #4203: Commit b61a439 pushed by hvitved
18s main
main
18s
C#: Migrate our own solution file to .slnx. Check overlay annotations #4202: Pull request #21026 opened by michaelnebel
20s michaelnebel:csharp/migratesolution
michaelnebel:csharp/migratesolution
20s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Check overlay annotations #4201: Pull request #21011 synchronize by aschackmull
17s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
17s
Mergeback rc/3.20 into main Check overlay annotations #4200: Pull request #21025 synchronize by oscarsj
19s oscarsj/mergeback-rc-3-20-into-main
oscarsj/mergeback-rc-3-20-into-main
19s
Mergeback rc/3.20 into main Check overlay annotations #4199: Pull request #21025 opened by oscarsj
18s oscarsj/mergeback-rc-3-20-into-main
oscarsj/mergeback-rc-3-20-into-main
18s
C#: Add implicit System.Collections.Generic.KeyValuePair2.Value reads at taint sinks Check overlay annotations #4198: Pull request #21024 synchronize by MathiasVP
20s MathiasVP:csharp-implicit-map-value-reads
MathiasVP:csharp-implicit-map-value-reads
20s
Merge pull request #20989 from github/post-release-prep/codeql-cli-2.… Check overlay annotations #4197: Commit 72b63bb pushed by oscarsj
19s rc/3.20
rc/3.20
19s
C#: Add implicit System.Collections.Generic.KeyValuePair2.Value reads at taint sinks Check overlay annotations #4196: Pull request #21024 opened by MathiasVP
20s MathiasVP:csharp-implicit-map-value-reads
MathiasVP:csharp-implicit-map-value-reads
20s
Merge pull request #21019 from paldepind/rust/impl-return Check overlay annotations #4195: Commit c5987b4 pushed by paldepind
18s main
main
18s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Check overlay annotations #4194: Pull request #21011 synchronize by aschackmull
18s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
18s
Shared: Prefer source/sink models with manual provenance over generated Check overlay annotations #4193: Pull request #21020 synchronize by hvitved
19s hvitved:shared/source-sink-provenance-prio
hvitved:shared/source-sink-provenance-prio
19s
Rust: Regenerate models Check overlay annotations #4192: Pull request #21023 opened by paldepind
18s paldepind:rust/regenerate-models-1212
paldepind:rust/regenerate-models-1212
18s
Merge pull request #21018 from aschackmull/csharp/guards-connect-barr… Check overlay annotations #4191: Commit f8c144b pushed by aschackmull
19s main
main
19s
Shared: Prefer source/sink models with manual provenance over generated Check overlay annotations #4190: Pull request #21020 synchronize by hvitved
19s hvitved:shared/source-sink-provenance-prio
hvitved:shared/source-sink-provenance-prio
19s
Shared: Prefer source/sink models with manual provenance over generated Check overlay annotations #4189: Pull request #21020 opened by hvitved
18s hvitved:shared/source-sink-provenance-prio
hvitved:shared/source-sink-provenance-prio
18s
Merge pull request #21012 from hvitved/csharp/nhibernate-sql-sinks Check overlay annotations #4188: Commit 6f27863 pushed by hvitved
21s main
main
21s
Merge pull request #20994 from hvitved/csharp/remove-pre-ssa Check overlay annotations #4187: Commit 0566a9f pushed by hvitved
19s main
main
19s
Go: Support for MaD barriers and barrier guards. Check overlay annotations #4186: Pull request #21015 synchronize by aschackmull
20s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
20s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Check overlay annotations #4185: Pull request #21011 synchronize by aschackmull
20s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
20s
Rust: Don't propagate impl in return position into function bodies Check overlay annotations #4184: Pull request #21019 synchronize by paldepind
20s paldepind:rust/impl-return
paldepind:rust/impl-return
20s
Rust: Don't propagate impl in return position into function bodies Check overlay annotations #4183: Pull request #21019 opened by paldepind
17s paldepind:rust/impl-return
paldepind:rust/impl-return
17s
C#: Support .slnx. solution files. Check overlay annotations #4182: Pull request #21016 synchronize by michaelnebel
17s michaelnebel:csharp/slnx
michaelnebel:csharp/slnx
17s
ProTip! You can narrow down the results and go further in time using created:<2025-12-12 or the other filters available.