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: 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
Go: Support for MaD barriers and barrier guards. Check overlay annotations #4181: Pull request #21015 synchronize by aschackmull
18s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
18s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Check overlay annotations #4180: Pull request #21011 synchronize by aschackmull
18s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
18s
Merge pull request #20986 from aschackmull/java/mad-barriers Check overlay annotations #4179: Commit 7285a8e pushed by aschackmull
19s main
main
19s
Merge pull request #21017 from github/idrissrio/cpp/overlay/xml Check overlay annotations #4178: Commit 8fccc34 pushed by IdrissRio
20s main
main
20s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Check overlay annotations #4177: Pull request #21009 synchronize by geoffw0
31s geoffw0:varfps
geoffw0:varfps
31s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Check overlay annotations #4176: Pull request #21009 synchronize by geoffw0
19s geoffw0:varfps
geoffw0:varfps
19s
Merge pull request #20887 from github/copilot/add-ecb-cbc-test-cases Check overlay annotations #4175: Commit 5db6b92 pushed by geoffw0
21s main
main
21s
Merge pull request #21008 from jketema/swift-6.2.2 Check overlay annotations #4174: Commit 1af1d2d pushed by jketema
18s main
main
18s
C/C++ overlay: Discard xml entities Check overlay annotations #4173: Pull request #21017 synchronize by IdrissRio
20s idrissrio/cpp/overlay/xml
idrissrio/cpp/overlay/xml
20s
Go: Support for MaD barriers and barrier guards. Check overlay annotations #4172: Pull request #21015 synchronize by aschackmull
21s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
21s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Check overlay annotations #4171: Pull request #21011 synchronize by aschackmull
17s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
17s
Java: Support for MaD barriers and barrier guards. Check overlay annotations #4170: Pull request #20986 synchronize by aschackmull
18s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
18s
Merge pull request #20879 from paldepind/rust/reads-as-taint Check overlay annotations #4169: Commit e13bb0f pushed by paldepind
19s main
main
19s
Java: Support for MaD barriers and barrier guards. Check overlay annotations #4168: Pull request #20986 synchronize by aschackmull
19s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
19s
ProTip! You can narrow down the results and go further in time using created:<2025-12-11 or the other filters available.