Skip to content

Actions: github/codeql

Actions

Check framework coverage changes

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
csv-coverage-pr-artifacts.yml
7,105 workflow runs
7,105 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Java/more thread safe initialisers Check framework coverage changes #29959: Pull request #20910 synchronize by yoff
2m 39s yoff:java/more-thread-safe-initialisers
yoff:java/more-thread-safe-initialisers
2m 39s
Java/more thread safe initialisers Check framework coverage changes #29958: Pull request #20910 synchronize by yoff
2m 38s yoff:java/more-thread-safe-initialisers
yoff:java/more-thread-safe-initialisers
2m 38s
Rust: Don't apply generated models for functions that have a manual model Check framework coverage changes #29957: Pull request #21036 synchronize by paldepind
2m 49s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
2m 49s
Rust: Distinguish &mut T from &T in type inference Check framework coverage changes #29956: Pull request #20973 synchronize by hvitved
2m 26s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
2m 26s
Rust: Fix candidate receiver type calculation for trait bounds Check framework coverage changes #29955: Pull request #21043 opened by hvitved
2m 35s hvitved:rust/type-inference-trait-bounds-overlap
hvitved:rust/type-inference-trait-bounds-overlap
2m 35s
Go: Support for MaD barriers and barrier guards. Check framework coverage changes #29954: Pull request #21015 synchronize by owen-mc
2m 34s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
2m 34s
[Draft] Java: Add remote flow sources for jakarta.websocket Check framework coverage changes #29953: Pull request #21041 opened by joefarebrother
2m 33s joefarebrother:java-jakarta
joefarebrother:java-jakarta
2m 33s
Clarify Path.Combine call behavior Check framework coverage changes #29952: Pull request #21038 synchronize by jonjanego
2m 37s path-combine-name-desc-update
path-combine-name-desc-update
2m 37s
Clarify Path.Combine call behavior Check framework coverage changes #29951: Pull request #21038 opened by jonjanego
2m 33s path-combine-name-desc-update
path-combine-name-desc-update
2m 33s
Rust: Distinguish &mut T from &T in type inference Check framework coverage changes #29950: Pull request #20973 synchronize by hvitved
2m 33s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
2m 33s
Rust: Don't apply generated models for functions that have a manual model Check framework coverage changes #29949: Pull request #21036 synchronize by paldepind
2m 34s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
2m 34s
Rust: Don't apply generated models for functions that have a manual model Check framework coverage changes #29948: Pull request #21036 synchronize by paldepind
2m 30s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
2m 30s
Rust: Don't apply generated models for functions that have a manual model Check framework coverage changes #29947: Pull request #21036 synchronize by paldepind
2m 30s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
2m 30s
Rust: Regenerate models Check framework coverage changes #29946: Pull request #21023 synchronize by paldepind
2m 37s paldepind:rust/regenerate-models-1212
paldepind:rust/regenerate-models-1212
2m 37s
Rust: Don't apply generated models for functions that have a manual model Check framework coverage changes #29945: Pull request #21036 opened by paldepind
2m 41s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
2m 41s
Rust: Also use specialized types when inferring types for calls Check framework coverage changes #29944: Pull request #21027 synchronize by hvitved
2m 30s hvitved:rust/type-inference-matching-specialization
hvitved:rust/type-inference-matching-specialization
2m 30s
Rust: Handle Deref trait in type inference and data flow Check framework coverage changes #29943: Pull request #20987 synchronize by hvitved
2m 34s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
2m 34s
Rust: Distinguish &mut T from &T in type inference Check framework coverage changes #29942: Pull request #20973 synchronize by hvitved
2m 36s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
2m 36s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Check framework coverage changes #29941: Pull request #21009 synchronize by geoffw0
2m 37s geoffw0:varfps
geoffw0:varfps
2m 37s
Rust: Also use specialized types when inferring types for calls Check framework coverage changes #29940: Pull request #21027 synchronize by hvitved
2m 57s hvitved:rust/type-inference-matching-specialization
hvitved:rust/type-inference-matching-specialization
2m 57s
Actions: Add new query actions/code-injection/low for code injection with step outputs Check framework coverage changes #29939: Pull request #20974 synchronize by owen-mc
2m 29s owen-mc:actions/code-injection-step-outputs-as-sources
owen-mc:actions/code-injection-step-outputs-as-sources
2m 29s
Rust: Distinguish &mut T from &T in type inference Check framework coverage changes #29938: Pull request #20973 synchronize by hvitved
2m 36s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
2m 36s
Rust: Also use specialized types when inferring types for calls Check framework coverage changes #29937: Pull request #21027 synchronize by hvitved
2m 27s hvitved:rust/type-inference-matching-specialization
hvitved:rust/type-inference-matching-specialization
2m 27s
Rust: Also use specialized types when inferring types for calls Check framework coverage changes #29936: Pull request #21027 opened by hvitved
2m 35s hvitved:rust/type-inference-matching-specialization
hvitved:rust/type-inference-matching-specialization
2m 35s
Rust: Distinguish &mut T from &T in type inference Check framework coverage changes #29935: Pull request #20973 synchronize by hvitved
2m 46s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
2m 46s