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: Reduce the number of sinks in DereferenceSink Check overlay annotations #4080: Pull request #20941 synchronize by paldepind
19s paldepind:rust/invalid-pointer-barriers
paldepind:rust/invalid-pointer-barriers
19s
Merge pull request #20997 from paldepind/rust/fix-expected Check overlay annotations #4079: Commit fe18e0e pushed by hvitved
25s main
main
25s
Java: Support for MaD barriers and barrier guards. Check overlay annotations #4078: Pull request #20986 synchronize by aschackmull
18s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
18s
C/C++ overlay: Add multiloc declaration to Overlay.qll Check overlay annotations #4077: Pull request #20995 synchronize by IdrissRio
21s idrissrio/cpp/overlay/locations
idrissrio/cpp/overlay/locations
21s
Merge pull request #20954 from hvitved/rust/stats-more-calls Check overlay annotations #4076: Commit a5f513f pushed by hvitved
21s main
main
21s
Rust: Accept changes to expected files Check overlay annotations #4075: Pull request #20997 synchronize by paldepind
19s paldepind:rust/fix-expected
paldepind:rust/fix-expected
19s
Java: Support for MaD barriers and barrier guards. Check overlay annotations #4074: Pull request #20986 synchronize by aschackmull
19s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
19s
Java: Support for MaD barriers and barrier guards. Check overlay annotations #4073: Pull request #20986 synchronize by owen-mc
19s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
19s
C#: Add osx-arm64 as a possible RID. Check overlay annotations #4072: Pull request #20998 opened by michaelnebel
20s michaelnebel:csharp/rids
michaelnebel:csharp/rids
20s
Rust: Accept changes to expected files Check overlay annotations #4071: Pull request #20997 opened by paldepind
21s paldepind:rust/fix-expected
paldepind:rust/fix-expected
21s
Java: Support for MaD barriers and barrier guards. Check overlay annotations #4070: Pull request #20986 synchronize by owen-mc
19s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
19s
C/C++ overlay: Add multiloc declaration to Overlay.qll Check overlay annotations #4069: Pull request #20995 synchronize by IdrissRio
20s idrissrio/cpp/overlay/locations
idrissrio/cpp/overlay/locations
20s
C#: Update Roslyn, MsBuild and Binlog extractor dependencies. Check overlay annotations #4068: Pull request #20996 opened by michaelnebel
18s michaelnebel:csharp/updateroslyn
michaelnebel:csharp/updateroslyn
18s
C/C++ overlay: Add multiloc declaration to Overlay.qll Check overlay annotations #4067: Pull request #20995 synchronize by IdrissRio
18s idrissrio/cpp/overlay/locations
idrissrio/cpp/overlay/locations
18s
Java: Support for MaD barriers and barrier guards. Check overlay annotations #4066: Pull request #20986 synchronize by aschackmull
19s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
19s
Java: Support for MaD barriers and barrier guards. Check overlay annotations #4065: Pull request #20986 synchronize by aschackmull
19s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
19s
C/C++ overlay: Add multiloc declaration to Overlay.qll Check overlay annotations #4064: Pull request #20995 opened by IdrissRio
1m 19s idrissrio/cpp/overlay/locations
idrissrio/cpp/overlay/locations
1m 19s
C#: Use .NET 10 for building the extractor and running tests. Check overlay annotations #4063: Pull request #20898 synchronize by michaelnebel
20s michaelnebel:csharp/dotnet10extractor
michaelnebel:csharp/dotnet10extractor
20s
Rust: Reduce the number of sinks in DereferenceSink Check overlay annotations #4062: Pull request #20941 synchronize by paldepind
18s paldepind:rust/invalid-pointer-barriers
paldepind:rust/invalid-pointer-barriers
18s
C++: Update expected test results after frontend update Check overlay annotations #4061: Pull request #20926 synchronize by jketema
20s jketema:jketema/frontend-update
jketema:jketema/frontend-update
20s
C#: Remove PreSsa library Check overlay annotations #4060: Pull request #20994 opened by hvitved
22s hvitved:csharp/remove-pre-ssa
hvitved:csharp/remove-pre-ssa
22s
Merge pull request #20993 from github/dependabot/go_modules/go/extrac… Check overlay annotations #4059: Commit cf19586 pushed by owen-mc
21s main
main
21s
Merge pull request #20922 from aschackmull/csharp/object-initializer Check overlay annotations #4058: Commit 139dc0a pushed by aschackmull
20s main
main
20s
Merge pull request #20877 from joefarebrother/python-tornado-websocket Check overlay annotations #4057: Commit 5c6d83e pushed by yoff
19s main
main
19s
Merge pull request #20991 from github/dependabot/nuget/csharp/ql/inte… Check overlay annotations #4056: Commit 8ecae77 pushed by michaelnebel
21s main
main
21s
ProTip! You can narrow down the results and go further in time using created:<2025-12-09 or the other filters available.