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
Go: Support for MaD barriers and barrier guards. Check overlay annotations #4255: Pull request #21015 synchronize by owen-mc
21s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
21s
Rust: Add models for Axum Check overlay annotations #4254: Pull request #20878 synchronize by paldepind
25s paldepind:rust/axum-model
paldepind:rust/axum-model
25s
Swift: Update to Swift 6.2.3 Check overlay annotations #4253: Pull request #21037 synchronize by jketema
25s jketema:swift-6.2.3
jketema:swift-6.2.3
25s
Merge pull request #21036 from paldepind/rust/prioritize-manual-summa… Check overlay annotations #4252: Commit 63329b4 pushed by paldepind
20s main
main
20s
Add integration test for paths and paths-ignore vs. Java buildless mode Check overlay annotations #4251: Pull request #21049 synchronize by smowton
20s smowton:smowton/admin/java-buildless-paths-test
smowton:smowton/admin/java-buildless-paths-test
20s
Add integration test for paths and paths-ignore vs. Java buildless mode Check overlay annotations #4250: Pull request #21049 opened by smowton
20s smowton:smowton/admin/java-buildless-paths-test
smowton:smowton/admin/java-buildless-paths-test
20s
Rust: Add models for Axum Check overlay annotations #4249: Pull request #20878 synchronize by paldepind
25s paldepind:rust/axum-model
paldepind:rust/axum-model
25s
Rust: Handle Deref trait in type inference and data flow Check overlay annotations #4248: Pull request #20987 synchronize by hvitved
19s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
19s
codegen: mention Rust in the README Check overlay annotations #4247: Pull request #21047 opened by redsun82
25s redsun82/codegen-readme
redsun82/codegen-readme
25s
Rust: Add models for Axum Check overlay annotations #4246: Pull request #20878 synchronize by paldepind
22s paldepind:rust/axum-model
paldepind:rust/axum-model
22s
Rust: Add models for Axum Check overlay annotations #4245: Pull request #20878 synchronize by paldepind
20s paldepind:rust/axum-model
paldepind:rust/axum-model
20s
C#: Support .slnx. solution files. Check overlay annotations #4244: Pull request #21016 synchronize by michaelnebel
19s michaelnebel:csharp/slnx
michaelnebel:csharp/slnx
19s
Rust: Don't apply generated models for functions that have a manual model Check overlay annotations #4243: Pull request #21036 synchronize by paldepind
23s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
23s
Java/more thread safe initialisers Check overlay annotations #4242: Pull request #20910 synchronize by yoff
25s yoff:java/more-thread-safe-initialisers
yoff:java/more-thread-safe-initialisers
25s
Java/more thread safe initialisers Check overlay annotations #4241: Pull request #20910 synchronize by yoff
18s yoff:java/more-thread-safe-initialisers
yoff:java/more-thread-safe-initialisers
18s
Rust: Don't apply generated models for functions that have a manual model Check overlay annotations #4240: Pull request #21036 synchronize by paldepind
25s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
25s
Rust: Distinguish &mut T from &T in type inference Check overlay annotations #4239: Pull request #20973 synchronize by hvitved
19s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
19s
Rust: Fix candidate receiver type calculation for trait bounds Check overlay annotations #4238: Pull request #21043 opened by hvitved
26s hvitved:rust/type-inference-trait-bounds-overlap
hvitved:rust/type-inference-trait-bounds-overlap
26s
Go: Support for MaD barriers and barrier guards. Check overlay annotations #4237: Pull request #21015 synchronize by owen-mc
25s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
25s
[Draft] Java: Add remote flow sources for jakarta.websocket Check overlay annotations #4236: Pull request #21041 opened by joefarebrother
19s joefarebrother:java-jakarta
joefarebrother:java-jakarta
19s
Clarify Path.Combine call behavior Check overlay annotations #4235: Pull request #21038 synchronize by jonjanego
20s path-combine-name-desc-update
path-combine-name-desc-update
20s
Clarify Path.Combine call behavior Check overlay annotations #4234: Pull request #21038 opened by jonjanego
25s path-combine-name-desc-update
path-combine-name-desc-update
25s
Rust: Distinguish &mut T from &T in type inference Check overlay annotations #4233: Pull request #20973 synchronize by hvitved
20s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
20s
Merge pull request #21011 from aschackmull/mad/shared-externalflow Check overlay annotations #4232: Commit d709343 pushed by hvitved
19s main
main
19s
Rust: Don't apply generated models for functions that have a manual model Check overlay annotations #4231: Pull request #21036 synchronize by paldepind
19s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
19s
ProTip! You can narrow down the results and go further in time using created:<2025-12-15 or the other filters available.