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
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: Infer argument types based on trait bounds on parameters Check framework coverage changes #30356: Pull request #21206 opened by hvitved
2m 35s hvitved:rust/type-inference-closure-param-context-typed
hvitved:rust/type-inference-closure-param-context-typed
2m 35s
Python: MaD barriers Check framework coverage changes #30355: Pull request #21004 synchronize by yoff
49s yoff:python/mad-barriers
yoff:python/mad-barriers
49s
Rust: Change getATypeParameterConstraint to not require a TypeMention Check framework coverage changes #30354: Pull request #21205 opened by paldepind
2m 30s paldepind:shared/ti-boound-tm
paldepind:shared/ti-boound-tm
2m 30s
Python: MaD barriers Check framework coverage changes #30353: Pull request #21004 synchronize by yoff
2m 40s yoff:python/mad-barriers
yoff:python/mad-barriers
2m 40s
Rust: More test cases for add, sub etc Check framework coverage changes #30352: Pull request #21191 synchronize by geoffw0
2m 32s geoffw0:addsub
geoffw0:addsub
2m 32s
Rust: Implement type inference for associated types for concrete types Check framework coverage changes #30351: Pull request #21188 synchronize by paldepind
2m 36s paldepind:rust/self-path-assoc
paldepind:rust/self-path-assoc
2m 36s
Rust: More test cases for add, sub etc Check framework coverage changes #30350: Pull request #21191 synchronize by geoffw0
2m 38s geoffw0:addsub
geoffw0:addsub
2m 38s
Rust: Remove mistakenly included inherited associated types Check framework coverage changes #30349: Pull request #21204 opened by paldepind
2m 35s paldepind:rust/assoc-tp-fix
paldepind:rust/assoc-tp-fix
2m 35s
Type inference: Disable universal conditions by default Check framework coverage changes #30348: Pull request #21151 synchronize by hvitved
2m 31s hvitved:rust/disable-universal-conds-by-default
hvitved:rust/disable-universal-conds-by-default
2m 31s
C++: Add isLiveAtEndOfBlock predicate to Ssa::Definition Check framework coverage changes #30347: Pull request #21202 opened by MathiasVP
2m 39s MathiasVP:add-is-live-predicate-to-ssa-definition
MathiasVP:add-is-live-predicate-to-ssa-definition
2m 39s
C++: Generate IR for assertions in release builds Check framework coverage changes #30346: Pull request #21142 synchronize by MathiasVP
2m 35s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
2m 35s
C++: Rename holdsInBase to isBase Check framework coverage changes #30345: Pull request #21200 opened by igfoo
2m 37s igfoo/rename-holdsInBase-to-isBase
igfoo/rename-holdsInBase-to-isBase
2m 37s
C++ overlay: Simplify QL Check framework coverage changes #30344: Pull request #21199 opened by igfoo
2m 28s igfoo/refactorOverlayFunctionCalls
igfoo/refactorOverlayFunctionCalls
2m 28s
C++: Allow MaD barriers Check framework coverage changes #30343: Pull request #21162 synchronize by owen-mc
2m 42s owen-mc:cpp/mad-barriers
owen-mc:cpp/mad-barriers
2m 42s
Go: Update to 1.26 Check framework coverage changes #30342: Pull request #21150 synchronize by owen-mc
2m 37s jketema/go-1.26
jketema/go-1.26
2m 37s
Rust: Implement type inference for associated types for concrete types Check framework coverage changes #30341: Pull request #21188 synchronize by paldepind
2m 30s paldepind:rust/self-path-assoc
paldepind:rust/self-path-assoc
2m 30s
C++: Generate IR for assertions in release builds Check framework coverage changes #30340: Pull request #21142 synchronize by MathiasVP
2m 37s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
2m 37s
C++: Generate IR for assertions in release builds Check framework coverage changes #30339: Pull request #21142 synchronize by MathiasVP
2m 40s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
2m 40s
Shared: Provenance-based filtering of flow summaries Check framework coverage changes #30338: Pull request #21051 synchronize by hvitved
3m 15s hvitved:shared/flow-summary-provenance-filtering
hvitved:shared/flow-summary-provenance-filtering
3m 15s
Shared: Provenance-based filtering of flow summaries Check framework coverage changes #30337: Pull request #21051 synchronize by hvitved
3m 19s hvitved:shared/flow-summary-provenance-filtering
hvitved:shared/flow-summary-provenance-filtering
3m 19s
Shared: Provenance-based filtering of flow summaries Check framework coverage changes #30336: Pull request #21051 synchronize by hvitved
3m 8s hvitved:shared/flow-summary-provenance-filtering
hvitved:shared/flow-summary-provenance-filtering
3m 8s
Rust: Implement type inference for associated types for concrete types Check framework coverage changes #30335: Pull request #21188 synchronize by paldepind
2m 35s paldepind:rust/self-path-assoc
paldepind:rust/self-path-assoc
2m 35s
Shared: Provenance-based filtering of flow summaries Check framework coverage changes #30334: Pull request #21051 synchronize by hvitved
3m 17s hvitved:shared/flow-summary-provenance-filtering
hvitved:shared/flow-summary-provenance-filtering
3m 17s
C++: Generate IR for assertions in release builds Check framework coverage changes #30333: Pull request #21142 synchronize by MathiasVP
2m 43s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
2m 43s
Rust: Remove restriction that blanket(-like) impls must have a constraint Check framework coverage changes #30332: Pull request #21168 synchronize by hvitved
2m 27s hvitved:rust/type-inference-remove-blanket-constraint-restriction
hvitved:rust/type-inference-remove-blanket-constraint-restriction
2m 27s
ProTip! You can narrow down the results and go further in time using created:<2026-01-20 or the other filters available.