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

Filter by Status

Filter by Branch

Filter by Actor

Rust: Distinguish &mut T from &T in type inference Check overlay annotations #4034: Pull request #20973 synchronize by hvitved
19s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
19s
Merge pull request #20953 from hvitved/rust/data-flow-call-models Check overlay annotations #4033: Commit 0280771 pushed by hvitved
18s main
main
18s
Rust: Handle Deref trait in type inference and data flow Check overlay annotations #4032: Pull request #20987 opened by hvitved
18s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
18s
Java: Support for MaD barriers and barrier guards. Check overlay annotations #4031: Pull request #20986 opened by aschackmull
19s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
19s
Java: Add change note for Maven compiler flags Check overlay annotations #4030: Pull request #20984 reopened by IdrissRio
18s rc/3.20
rc/3.20
18s
Rust: Model more data flow constructs as calls using MaD Check overlay annotations #4029: Pull request #20953 synchronize by hvitved
20s hvitved:rust/data-flow-call-models
hvitved:rust/data-flow-call-models
20s
Merge pull request #20983 from smowton/smowton/feature/csharp-csrf-as… Check overlay annotations #4028: Commit ef991e5 pushed by smowton
19s main
main
19s
Java: Add change note for Maven compiler flags Check overlay annotations #4027: Pull request #20984 opened by IdrissRio
18s rc/3.20
rc/3.20
18s
Merge pull request #20981 from github/idrissrio/java/java-maven-sap Check overlay annotations #4026: Commit 877669d pushed by IdrissRio
17s rc/3.20
rc/3.20
17s
C# CSRF query: add support for ASP.NET Core Check overlay annotations #4025: Pull request #20983 synchronize by smowton
19s smowton:smowton/feature/csharp-csrf-aspnetcore
smowton:smowton/feature/csharp-csrf-aspnetcore
19s
C# CSRF query: add support for ASP.NET Core Check overlay annotations #4024: Pull request #20983 opened by smowton
20s smowton:smowton/feature/csharp-csrf-aspnetcore
smowton:smowton/feature/csharp-csrf-aspnetcore
20s
Java: Add change note for Maven compiler flags Check overlay annotations #4023: Pull request #20981 synchronize by IdrissRio
30s idrissrio/java/java-maven-sap
idrissrio/java/java-maven-sap
30s
Java: Add change note for Maven compiler flags Check overlay annotations #4022: Pull request #20981 opened by IdrissRio
21s idrissrio/java/java-maven-sap
idrissrio/java/java-maven-sap
21s
Merge pull request #20969 from paldepind/rust/dispath-default-trait Check overlay annotations #4020: Commit cd6429a pushed by paldepind
21s main
main
21s
Rust: Distinguish &mut T from &T in type inference Check overlay annotations #4019: Pull request #20973 synchronize by hvitved
20s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
20s
Rust: Include more calls in DB quality metrics Check overlay annotations #4018: Pull request #20954 synchronize by hvitved
18s hvitved:rust/stats-more-calls
hvitved:rust/stats-more-calls
18s
Rust: Distinguish &mut T from &T in type inference Check overlay annotations #4017: 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 #20966 from geoffw0/lifetimetest Check overlay annotations #4016: Commit 24852c6 pushed by geoffw0
18s main
main
18s
JS: Allow isTypeUsed overrides to be global Check overlay annotations #4015: Pull request #20980 synchronize by asgerf
20s asgerf:js/is-typed-used-local
asgerf:js/is-typed-used-local
20s
C#: Use .NET 10 for building the extractor and running tests. Check overlay annotations #4014: Pull request #20898 synchronize by michaelnebel
17s michaelnebel:csharp/dotnet10extractor
michaelnebel:csharp/dotnet10extractor
17s
JS: Allow isTypeUsed overrides to be global Check overlay annotations #4013: Pull request #20980 opened by asgerf
22s asgerf:js/is-typed-used-local
asgerf:js/is-typed-used-local
22s
Merge pull request #20964 from michaelnebel/csharp/nugetversionsorting Check overlay annotations #4012: Commit 10c0183 pushed by michaelnebel
21s main
main
21s
Rust: Lift content reads as taint steps Check overlay annotations #4011: Pull request #20879 synchronize by paldepind
17s paldepind:rust/reads-as-taint
paldepind:rust/reads-as-taint
17s
C++: Update expected test results after frontend update Check overlay annotations #4009: Pull request #20926 synchronize by jketema
17s jketema:jketema/frontend-update
jketema:jketema/frontend-update
17s
Merge pull request #20975 from github/oscarsj/merge-back-rc-3.20 Check overlay annotations #4008: Commit 3230df0 pushed by oscarsj
18s main
main
18s
ProTip! You can narrow down the results and go further in time using created:<2025-12-05 or the other filters available.