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
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
C++: Generate IR for assertions in release builds Check framework coverage changes #30331: Pull request #21142 synchronize by MathiasVP
2m 30s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
2m 30s
Python support ListElement in MaD Check framework coverage changes #30330: Pull request #21134 synchronize by yoff
2m 40s yoff:python/support-ListElement-in-MaD
yoff:python/support-ListElement-in-MaD
2m 40s
Python: MaD barriers Check framework coverage changes #30329: Pull request #21004 synchronize by yoff
2m 40s yoff:python/mad-barriers
yoff:python/mad-barriers
2m 40s
C++: Support C23/C++26 #embed preprocessor directives Check framework coverage changes #30328: Pull request #21195 synchronize by jketema
2m 38s jketema:jketema/embed
jketema:jketema/embed
2m 38s
Python: MaD barriers Check framework coverage changes #30327: Pull request #21004 synchronize by yoff
2m 36s yoff:python/mad-barriers
yoff:python/mad-barriers
2m 36s
C++: Support C23/C++26 #embed preprocessor directives Check framework coverage changes #30326: Pull request #21195 opened by jketema
2m 28s jketema:jketema/embed
jketema:jketema/embed
2m 28s
Type inference: Disable universal conditions by default Check framework coverage changes #30325: Pull request #21151 synchronize by hvitved
2m 27s hvitved:rust/disable-universal-conds-by-default
hvitved:rust/disable-universal-conds-by-default
2m 27s
Rust: Remove restriction that blanket(-like) impls must have a constraint Check framework coverage changes #30324: Pull request #21168 synchronize by hvitved
2m 39s hvitved:rust/type-inference-remove-blanket-constraint-restriction
hvitved:rust/type-inference-remove-blanket-constraint-restriction
2m 39s
Python: Compiler crash Check framework coverage changes #30323: Pull request #21194 opened by tausbn
2m 31s tausbn/python-ql-compiler-crash
tausbn/python-ql-compiler-crash
2m 31s
Rust/type inference path concrete assoc Check framework coverage changes #30322: Pull request #21193 synchronize by paldepind
2m 38s paldepind:rust/type-inference-path-concrete-assoc
paldepind:rust/type-inference-path-concrete-assoc
2m 38s
Rust/type inference path concrete assoc Check framework coverage changes #30321: Pull request #21193 opened by paldepind
2m 33s paldepind:rust/type-inference-path-concrete-assoc
paldepind:rust/type-inference-path-concrete-assoc
2m 33s
Rust: Improve type inference for closures and function traits Check framework coverage changes #30320: Pull request #21170 synchronize by paldepind
2m 34s paldepind:rust/type-inference-fns
paldepind:rust/type-inference-fns
2m 34s
Rust: Improve type inference for closures and function traits Check framework coverage changes #30319: Pull request #21170 synchronize by paldepind
2m 45s paldepind:rust/type-inference-fns
paldepind:rust/type-inference-fns
2m 45s
ProTip! You can narrow down the results and go further in time using created:<2026-01-20 or the other filters available.