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++: Update expected test results after frontend update Check overlay annotations #4167: Pull request #20926 synchronize by jketema
20s jketema:jketema/frontend-update
jketema:jketema/frontend-update
20s
C/C++ overlay: Discard xml entities Check overlay annotations #4166: Pull request #21017 synchronize by IdrissRio
17s idrissrio/cpp/overlay/xml
idrissrio/cpp/overlay/xml
17s
C#: Connect shared Guards to SSA BarrierGuards. Check overlay annotations #4165: Pull request #21018 opened by aschackmull
18s aschackmull:csharp/guards-connect-barrierguard
aschackmull:csharp/guards-connect-barrierguard
18s
C/C++ overlay: Discard xml entities Check overlay annotations #4164: Pull request #21017 opened by IdrissRio
17s idrissrio/cpp/overlay/xml
idrissrio/cpp/overlay/xml
17s
C#: Support .slnx. solution files. Check overlay annotations #4163: Pull request #21016 synchronize by michaelnebel
21s michaelnebel:csharp/slnx
michaelnebel:csharp/slnx
21s
Rust: Lift content reads as taint steps Check overlay annotations #4162: Pull request #20879 synchronize by paldepind
21s paldepind:rust/reads-as-taint
paldepind:rust/reads-as-taint
21s
Python: MaD barriers Check overlay annotations #4161: Pull request #21004 synchronize by yoff
19s yoff:python/mad-barriers
yoff:python/mad-barriers
19s
C#: Support .slnx. solution files. Check overlay annotations #4160: Pull request #21016 opened by michaelnebel
20s michaelnebel:csharp/slnx
michaelnebel:csharp/slnx
20s
Go: Support for MaD barriers and barrier guards. Check overlay annotations #4159: Pull request #21015 synchronize by aschackmull
18s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
18s
Python: MaD barriers Check overlay annotations #4158: Pull request #21004 synchronize by yoff
19s yoff:python/mad-barriers
yoff:python/mad-barriers
19s
Go: Support for MaD barriers and barrier guards. Check overlay annotations #4157: Pull request #21015 opened by aschackmull
20s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
20s
C#: Remove PreSsa library Check overlay annotations #4156: Pull request #20994 synchronize by hvitved
20s hvitved:csharp/remove-pre-ssa
hvitved:csharp/remove-pre-ssa
20s
C#: Remove PreSsa library Check overlay annotations #4155: Pull request #20994 synchronize by hvitved
18s hvitved:csharp/remove-pre-ssa
hvitved:csharp/remove-pre-ssa
18s
Rust: Distinguish &mut T from &T in type inference Check overlay annotations #4154: 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 #21014 from hvitved/csharp/file-path-filter-log-le… Check overlay annotations #4153: Commit 6feded9 pushed by hvitved
19s main
main
19s
Merge pull request #20995 from github/idrissrio/cpp/overlay/locations Check overlay annotations #4152: Commit ad6988f pushed by IdrissRio
20s main
main
20s
Merge pull request #20996 from michaelnebel/csharp/updateroslyn Check overlay annotations #4151: Commit ce2c149 pushed by michaelnebel
20s main
main
20s
C#: Add NHibernate SQL sinks Check overlay annotations #4150: Pull request #21012 synchronize by hvitved
21s hvitved:csharp/nhibernate-sql-sinks
hvitved:csharp/nhibernate-sql-sinks
21s
C#: Adjust log levels in FilePathFilter.cs Check overlay annotations #4149: Pull request #21014 opened by hvitved
21s hvitved:csharp/file-path-filter-log-levels
hvitved:csharp/file-path-filter-log-levels
21s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Check overlay annotations #4148: Pull request #21011 synchronize by aschackmull
18s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
18s
Java: Support for MaD barriers and barrier guards. Check overlay annotations #4147: Pull request #20986 synchronize by aschackmull
19s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
19s
C#: Add NHibernate SQL sinks Check overlay annotations #4146: Pull request #21012 synchronize by hvitved
17s hvitved:csharp/nhibernate-sql-sinks
hvitved:csharp/nhibernate-sql-sinks
17s
C#: Update Roslyn, MsBuild and Binlog extractor dependencies. Check overlay annotations #4145: Pull request #20996 synchronize by michaelnebel
21s michaelnebel:csharp/updateroslyn
michaelnebel:csharp/updateroslyn
21s
C#: Add NHibernate SQL sinks Check overlay annotations #4144: Pull request #21012 synchronize by hvitved
21s hvitved:csharp/nhibernate-sql-sinks
hvitved:csharp/nhibernate-sql-sinks
21s
Swift: Update to Swift 6.2.2 Check overlay annotations #4143: Pull request #21008 synchronize by jketema
18s jketema:swift-6.2.2
jketema:swift-6.2.2
18s
ProTip! You can narrow down the results and go further in time using created:<2025-12-11 or the other filters available.