Skip to content

Actions: github/codeql

Actions

Check synchronized files

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sync-files.yml
11,563 workflow runs
11,563 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rust: Fix candidate receiver type calculation for trait bounds Check synchronized files #48381: Pull request #21043 opened by hvitved
27s hvitved:rust/type-inference-trait-bounds-overlap
hvitved:rust/type-inference-trait-bounds-overlap
27s
Go: Support for MaD barriers and barrier guards. Check synchronized files #48380: Pull request #21015 synchronize by owen-mc
24s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
24s
[Draft] Java: Add remote flow sources for jakarta.websocket Check synchronized files #48379: Pull request #21041 opened by joefarebrother
23s joefarebrother:java-jakarta
joefarebrother:java-jakarta
23s
Clarify Path.Combine call behavior Check synchronized files #48378: Pull request #21038 synchronize by jonjanego
20s path-combine-name-desc-update
path-combine-name-desc-update
20s
Clarify Path.Combine call behavior Check synchronized files #48377: Pull request #21038 opened by jonjanego
20s path-combine-name-desc-update
path-combine-name-desc-update
20s
Rust: Distinguish &mut T from &T in type inference Check synchronized files #48376: Pull request #20973 synchronize by hvitved
17s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
17s
Merge pull request #21011 from aschackmull/mad/shared-externalflow Check synchronized files #48375: Commit d709343 pushed by hvitved
19s main
main
19s
Rust: Don't apply generated models for functions that have a manual model Check synchronized files #48374: Pull request #21036 synchronize by paldepind
18s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
18s
Merge pull request #21035 from hvitved/rust/ord-models Check synchronized files #48373: Commit 74ed18a pushed by hvitved
25s main
main
25s
Swift: Update to Swift 6.2.3 Check synchronized files #48372: Pull request #21037 opened by jketema
19s jketema:swift-6.2.3
jketema:swift-6.2.3
19s
Rust: Don't apply generated models for functions that have a manual model Check synchronized files #48371: 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 synchronized files #48370: Pull request #21036 synchronize by paldepind
20s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
20s
Rust: Regenerate models Check synchronized files #48369: Pull request #21023 synchronize by paldepind
18s paldepind:rust/regenerate-models-1212
paldepind:rust/regenerate-models-1212
18s
Rust: Don't apply generated models for functions that have a manual model Check synchronized files #48368: Pull request #21036 opened by paldepind
20s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
20s
Rust: Also use specialized types when inferring types for calls Check synchronized files #48367: 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 synchronized files #48366: Commit 2824c98 pushed by oscarsj
18s main
main
18s
Rust: Add models for core::cmp::Ord::{min,max,clamp} Check synchronized files #48365: 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 synchronized files #48364: Pull request #21035 opened by hvitved
17s hvitved:rust/ord-models
hvitved:rust/ord-models
17s
Merge pull request #21026 from michaelnebel/csharp/migratesolution Check synchronized files #48363: Commit 70447c6 pushed by michaelnebel
19s main
main
19s
Merge pull request #21009 from geoffw0/varfps Check synchronized files #48362: Commit 93e8534 pushed by geoffw0
19s main
main
19s
Rust: Handle Deref trait in type inference and data flow Check synchronized files #48361: Pull request #20987 synchronize by hvitved
20s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
20s
Rust: Distinguish &mut T from &T in type inference Check synchronized files #48360: Pull request #20973 synchronize by hvitved
17s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
17s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Check synchronized files #48359: Pull request #21009 synchronize by geoffw0
23s geoffw0:varfps
geoffw0:varfps
23s
Merge pull request #21031 from github/workflow/coverage/update Check synchronized files #48358: Commit 949cfc3 pushed by michaelnebel
21s main
main
21s
Rust: Also use specialized types when inferring types for calls Check synchronized files #48357: Pull request #21027 synchronize by hvitved
18s hvitved:rust/type-inference-matching-specialization
hvitved:rust/type-inference-matching-specialization
18s