Skip to content

Actions: github/codeql

Actions

Check overlay annotations

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-overlay-annotations.yml
4,176 workflow runs
4,176 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge pull request #21035 from hvitved/rust/ord-models Check overlay annotations #4230: Commit 74ed18a pushed by hvitved
22s main
main
22s
Swift: Update to Swift 6.2.3 Check overlay annotations #4229: Pull request #21037 opened by jketema
18s jketema:swift-6.2.3
jketema:swift-6.2.3
18s
Rust: Don't apply generated models for functions that have a manual model Check overlay annotations #4228: Pull request #21036 synchronize by paldepind
19s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
19s
Rust: Don't apply generated models for functions that have a manual model Check overlay annotations #4227: Pull request #21036 synchronize by paldepind
19s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
19s
Rust: Regenerate models Check overlay annotations #4226: Pull request #21023 synchronize by paldepind
19s paldepind:rust/regenerate-models-1212
paldepind:rust/regenerate-models-1212
19s
Rust: Don't apply generated models for functions that have a manual model Check overlay annotations #4225: Pull request #21036 opened by paldepind
19s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
19s
Rust: Also use specialized types when inferring types for calls Check overlay annotations #4224: Pull request #21027 synchronize by hvitved
19s hvitved:rust/type-inference-matching-specialization
hvitved:rust/type-inference-matching-specialization
19s
Merge pull request #21025 from github/oscarsj/mergeback-rc-3-20-into-… Check overlay annotations #4223: Commit 2824c98 pushed by oscarsj
19s main
main
19s
Rust: Add models for core::cmp::Ord::{min,max,clamp} Check overlay annotations #4222: Pull request #21035 synchronize by hvitved
18s hvitved:rust/ord-models
hvitved:rust/ord-models
18s
Rust: Add models for core::cmp::Ord::{min,max,clamp} Check overlay annotations #4221: Pull request #21035 opened by hvitved
21s hvitved:rust/ord-models
hvitved:rust/ord-models
21s
Merge pull request #21026 from michaelnebel/csharp/migratesolution Check overlay annotations #4220: Commit 70447c6 pushed by michaelnebel
18s main
main
18s
Merge pull request #21009 from geoffw0/varfps Check overlay annotations #4219: Commit 93e8534 pushed by geoffw0
21s main
main
21s
Rust: Handle Deref trait in type inference Check overlay annotations #4218: Pull request #20987 synchronize by hvitved
18s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
18s