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
6,732 workflow runs
6,732 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

C++: Support models-as-data barriers and barrier guards Check framework coverage changes #30309: Pull request #21185 opened by MathiasVP
2m 29s MathiasVP:mad-cpp-guards
MathiasVP:mad-cpp-guards
2m 29s
C++: Generate IR for assertions in release builds Check framework coverage changes #30308: Pull request #21142 synchronize by MathiasVP
2m 45s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
2m 45s
Rust: Remove restriction that blanket(-like) impls must have a constraint Check framework coverage changes #30307: Pull request #21168 synchronize by hvitved
2m 32s hvitved:rust/type-inference-remove-blanket-constraint-restriction
hvitved:rust/type-inference-remove-blanket-constraint-restriction
2m 32s
Rust: Remove restriction that blanket(-like) impls must have a constraint Check framework coverage changes #30306: Pull request #21168 synchronize by hvitved
2m 41s hvitved:rust/type-inference-remove-blanket-constraint-restriction
hvitved:rust/type-inference-remove-blanket-constraint-restriction
2m 41s
C# 14: Null conditional assignments. Check framework coverage changes #30305: Pull request #21158 synchronize by michaelnebel
2m 40s michaelnebel:csharp/cfgforaccess
michaelnebel:csharp/cfgforaccess
2m 40s
Python: MaD barriers Check framework coverage changes #30304: Pull request #21004 synchronize by yoff
2m 30s yoff:python/mad-barriers
yoff:python/mad-barriers
2m 30s
Rust: Remove restriction that blanket(-like) impls must have a constraint Check framework coverage changes #30303: Pull request #21168 synchronize by hvitved
2m 31s hvitved:rust/type-inference-remove-blanket-constraint-restriction
hvitved:rust/type-inference-remove-blanket-constraint-restriction
2m 31s
C++: Fix conflation in barrier guards Check framework coverage changes #30302: Pull request #21171 synchronize by MathiasVP
3m 8s MathiasVP:fix-conflation-in-guards
MathiasVP:fix-conflation-in-guards
3m 8s
C++: Fix conflation in barrier guards Check framework coverage changes #30301: Pull request #21171 synchronize by MathiasVP
3m 13s MathiasVP:fix-conflation-in-guards
MathiasVP:fix-conflation-in-guards
3m 13s
Rust: Fix bad join Check framework coverage changes #30300: Pull request #21180 opened by hvitved
2m 33s hvitved:rust/fix-bad-join2
hvitved:rust/fix-bad-join2
2m 33s
C++: Fix conflation in barrier guards Check framework coverage changes #30299: Pull request #21171 synchronize by MathiasVP
3m 11s MathiasVP:fix-conflation-in-guards
MathiasVP:fix-conflation-in-guards
3m 11s
Rust: Fix bad join Check framework coverage changes #30298: Pull request #21179 opened by hvitved
2m 36s hvitved:rust/fix-bad-join
hvitved:rust/fix-bad-join
2m 36s
Shared (static): Always treat subtypes column as true Check framework coverage changes #30297: Pull request #21085 synchronize by owen-mc
3m 16s owen-mc:shared/mad/always-use-subtypes-true
owen-mc:shared/mad/always-use-subtypes-true
3m 16s
C# 14: Null conditional assignments. Check framework coverage changes #30296: Pull request #21158 synchronize by michaelnebel
2m 45s michaelnebel:csharp/cfgforaccess
michaelnebel:csharp/cfgforaccess
2m 45s
Rust: Improve type inference for closures and function traits Check framework coverage changes #30295: Pull request #21170 synchronize by paldepind
2m 39s paldepind:rust/type-inference-fns
paldepind:rust/type-inference-fns
2m 39s
C# 14: Null conditional assignments. Check framework coverage changes #30294: Pull request #21158 synchronize by michaelnebel
2m 59s michaelnebel:csharp/cfgforaccess
michaelnebel:csharp/cfgforaccess
2m 59s
Rust: Avoid unnecessary constraint satisfaction Check framework coverage changes #30293: Pull request #21172 synchronize by paldepind
2m 36s paldepind:rust/dyn-abs
paldepind:rust/dyn-abs
2m 36s
Rust: Avoid unnecessary constraint satisfaction Check framework coverage changes #30292: Pull request #21172 synchronize by paldepind
2m 37s paldepind:rust/dyn-abs
paldepind:rust/dyn-abs
2m 37s
Rust: Remove restriction that blanket(-like) impls must have a constraint Check framework coverage changes #30291: Pull request #21168 synchronize by hvitved
2m 30s hvitved:rust/type-inference-remove-blanket-constraint-restriction
hvitved:rust/type-inference-remove-blanket-constraint-restriction
2m 30s
C# 14: Null conditional assignments. Check framework coverage changes #30290: Pull request #21158 synchronize by michaelnebel
2m 49s michaelnebel:csharp/cfgforaccess
michaelnebel:csharp/cfgforaccess
2m 49s
Rust: Avoid unnecessary constraint satisfaction Check framework coverage changes #30289: Pull request #21172 synchronize by paldepind
2m 28s paldepind:rust/dyn-abs
paldepind:rust/dyn-abs
2m 28s
Rust: Improve type inference for closures and function traits Check framework coverage changes #30288: Pull request #21170 synchronize by paldepind
2m 30s paldepind:rust/type-inference-fns
paldepind:rust/type-inference-fns
2m 30s
Rust: Improve type inference for closures and function traits Check framework coverage changes #30287: Pull request #21170 synchronize by paldepind
2m 42s paldepind:rust/type-inference-fns
paldepind:rust/type-inference-fns
2m 42s
Shared: Provenance-based filtering of flow summaries Check framework coverage changes #30286: Pull request #21051 synchronize by hvitved
3m 10s hvitved:shared/flow-summary-provenance-filtering
hvitved:shared/flow-summary-provenance-filtering
3m 10s
Python: MaD barriers Check framework coverage changes #30285: Pull request #21004 synchronize by yoff
2m 36s yoff:python/mad-barriers
yoff:python/mad-barriers
2m 36s
ProTip! You can narrow down the results and go further in time using created:<2026-01-16 or the other filters available.