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: Move everything type inference related into the typeinference directory Check framework coverage changes #30197: Pull request #21152 synchronize by paldepind
2m 42s paldepind:rust/typeinference-dir
paldepind:rust/typeinference-dir
2m 42s
C++: Generate IR for assertions in release builds Check framework coverage changes #30196: Pull request #21142 synchronize by MathiasVP
2m 34s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
2m 34s
C++: Generate IR for assertions in release builds Check framework coverage changes #30195: Pull request #21142 synchronize by MathiasVP
2m 32s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
2m 32s
Rust: Remove MacroBlockExpr class Check framework coverage changes #30194: Pull request #21148 synchronize by hvitved
2m 31s hvitved:rust/remove-macro-block-expr
hvitved:rust/remove-macro-block-expr
2m 31s
Rust: Exclude self parameter accesses from rust/access-after-lifetime-ended Check framework coverage changes #30193: Pull request #21155 opened by geoffw0
2m 41s geoffw0:lifetimeself
geoffw0:lifetimeself
2m 41s
Prepare dataflow for local annotations Check framework coverage changes #30192: Pull request #21138 synchronize by tausbn
2m 32s tausbn/python-prepare-for-overlay-annotations
tausbn/python-prepare-for-overlay-annotations
2m 32s
Prepare dataflow for local annotations Check framework coverage changes #30191: Pull request #21138 synchronize by tausbn
2m 26s tausbn/python-prepare-for-overlay-annotations
tausbn/python-prepare-for-overlay-annotations
2m 26s
Prepare dataflow for local annotations Check framework coverage changes #30190: Pull request #21138 synchronize by tausbn
2m 32s tausbn/python-prepare-for-overlay-annotations
tausbn/python-prepare-for-overlay-annotations
2m 32s
Prepare dataflow for local annotations Check framework coverage changes #30189: Pull request #21138 synchronize by tausbn
2m 31s tausbn/python-prepare-for-overlay-annotations
tausbn/python-prepare-for-overlay-annotations
2m 31s
Rust: Move everything type inference related into the typeinference directory Check framework coverage changes #30188: Pull request #21152 synchronize by paldepind
2m 33s paldepind:rust/typeinference-dir
paldepind:rust/typeinference-dir
2m 33s
Rust: Move everything type inference related into the typeinference directory Check framework coverage changes #30187: Pull request #21152 synchronize by paldepind
2m 29s paldepind:rust/typeinference-dir
paldepind:rust/typeinference-dir
2m 29s
Prepare dataflow for local annotations Check framework coverage changes #30186: Pull request #21138 synchronize by tausbn
2m 37s tausbn/python-prepare-for-overlay-annotations
tausbn/python-prepare-for-overlay-annotations
2m 37s
Rust: Move everything type inference related into the typeinference directory Check framework coverage changes #30185: Pull request #21152 synchronize by paldepind
2m 32s paldepind:rust/typeinference-dir
paldepind:rust/typeinference-dir
2m 32s
Rust: Add barrier for split_off Check framework coverage changes #30184: Pull request #21153 synchronize by geoffw0
2m 45s geoffw0:splitoff
geoffw0:splitoff
2m 45s
Rust: Move everything type inference related into the typeinference directory Check framework coverage changes #30183: Pull request #21152 synchronize by paldepind
2m 30s paldepind:rust/typeinference-dir
paldepind:rust/typeinference-dir
2m 30s
Rust: Move everything type inference related into the typeinference directory Check framework coverage changes #30182: Pull request #21152 opened by paldepind
2m 36s paldepind:rust/typeinference-dir
paldepind:rust/typeinference-dir
2m 36s
Type inference: Disable universal conditions by default Check framework coverage changes #30181: Pull request #21151 opened by hvitved
2m 30s hvitved:rust/disable-universal-conds-by-default
hvitved:rust/disable-universal-conds-by-default
2m 30s
Rust: Add missing .Reference in various models Check framework coverage changes #30180: Pull request #21147 synchronize by hvitved
2m 32s hvitved:rust/fix-more-models
hvitved:rust/fix-more-models
2m 32s
Rust: Remove MacroBlockExpr class Check framework coverage changes #30179: Pull request #21148 synchronize by hvitved
2m 44s hvitved:rust/remove-macro-block-expr
hvitved:rust/remove-macro-block-expr
2m 44s
Rust: Add missing .Reference in various models Check framework coverage changes #30178: Pull request #21147 synchronize by hvitved
2m 31s hvitved:rust/fix-more-models
hvitved:rust/fix-more-models
2m 31s
Rust: Regenerate models Check framework coverage changes #30177: Pull request #21023 synchronize by paldepind
2m 32s paldepind:rust/regenerate-models-1212
paldepind:rust/regenerate-models-1212
2m 32s
C++: Generate IR for assertions in release builds Check framework coverage changes #30176: Pull request #21142 synchronize by MathiasVP
2m 39s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
2m 39s
Java: Add TypeFlow base case for partially unbound types. Check framework coverage changes #30175: Pull request #21149 opened by aschackmull
2m 53s aschackmull:java/typeflow-partially-unbound
aschackmull:java/typeflow-partially-unbound
2m 53s
Rust: Add missing .Reference in various models Check framework coverage changes #30174: Pull request #21147 synchronize by hvitved
2m 41s hvitved:rust/fix-more-models
hvitved:rust/fix-more-models
2m 41s
Rust: Remove MacroBlockExpr class Check framework coverage changes #30173: Pull request #21148 synchronize by hvitved
2m 37s hvitved:rust/remove-macro-block-expr
hvitved:rust/remove-macro-block-expr
2m 37s
ProTip! You can narrow down the results and go further in time using created:<2026-01-12 or the other filters available.