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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Rust: Paths to associated types resolve to the associated type if implementation is unclear Check framework coverage changes #30318: Pull request #21188 synchronize by paldepind
2m 25s paldepind:rust/self-path-assoc
paldepind:rust/self-path-assoc
2m 25s
Rust: Paths to associated types resolve to the associated type if implementation is unclear Check framework coverage changes #30317: Pull request #21188 opened by paldepind
2m 38s paldepind:rust/self-path-assoc
paldepind:rust/self-path-assoc
2m 38s
C# 14: Null conditional assignments. Check framework coverage changes #30316: Pull request #21158 synchronize by michaelnebel
2m 45s michaelnebel:csharp/cfgforaccess
michaelnebel:csharp/cfgforaccess
2m 45s
C++: Generate IR for assertions in release builds Check framework coverage changes #30315: Pull request #21142 synchronize by MathiasVP
2m 35s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
2m 35s
C++: Generate IR for assertions in release builds Check framework coverage changes #30314: Pull request #21142 synchronize by MathiasVP
2m 38s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
2m 38s
C++: Support models-as-data barriers and barrier guards Check framework coverage changes #30313: Pull request #21185 synchronize by MathiasVP
2m 34s MathiasVP:mad-cpp-guards
MathiasVP:mad-cpp-guards
2m 34s
C++: Support models-as-data barriers and barrier guards Check framework coverage changes #30312: Pull request #21185 synchronize by MathiasVP
2m 30s MathiasVP:mad-cpp-guards
MathiasVP:mad-cpp-guards
2m 30s
C++: Support models-as-data barriers and barrier guards Check framework coverage changes #30311: Pull request #21185 synchronize by MathiasVP
2m 37s MathiasVP:mad-cpp-guards
MathiasVP:mad-cpp-guards
2m 37s
C++: Support models-as-data barriers and barrier guards Check framework coverage changes #30310: Pull request #21185 synchronize by MathiasVP
2m 30s MathiasVP:mad-cpp-guards
MathiasVP:mad-cpp-guards
2m 30s
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