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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

C++: Add model validation for constructor summary models Check framework coverage changes #30904: Pull request #21426 synchronize by owen-mc
2m 45s owen-mc:cpp/validate-constructor-summary-models
owen-mc:cpp/validate-constructor-summary-models
2m 45s
C++: Add model validation for constructor summary models Check framework coverage changes #30903: Pull request #21426 opened by owen-mc
2m 36s owen-mc:cpp/validate-constructor-summary-models
owen-mc:cpp/validate-constructor-summary-models
2m 36s
Rust: Update split_off models Check framework coverage changes #30902: Pull request #21376 synchronize by geoffw0
2m 54s geoffw0:splitoff2
geoffw0:splitoff2
2m 54s
C/C++ overlay: update discard mechanism Check framework coverage changes #30901: Pull request #21424 synchronize by IdrissRio
2m 43s idrissrio/cpp/overlay/discard
idrissrio/cpp/overlay/discard
2m 43s
C/C++ overlay: update discard mechanism Check framework coverage changes #30900: Pull request #21424 opened by IdrissRio
2m 36s idrissrio/cpp/overlay/discard
idrissrio/cpp/overlay/discard
2m 36s
Rust: Small refactor in TypeMention.qll Check framework coverage changes #30899: Pull request #21422 opened by hvitved
2m 29s hvitved:rust/type-mention-refactor
hvitved:rust/type-mention-refactor
2m 29s
Rust: Unify call resolution logic Check framework coverage changes #30898: Pull request #21355 synchronize by hvitved
2m 38s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
2m 38s
Python: Improve modelling of overloaded methods Check framework coverage changes #30897: Pull request #21419 reopened by tausbn
2m 40s tausbn/python-improve-overloaded-method-resolution
tausbn/python-improve-overloaded-method-resolution
2m 40s
C# 14: User defined compound assignment operators. Check framework coverage changes #30896: Pull request #21372 synchronize by michaelnebel
2m 56s michaelnebel:csharp14/usercompoundassignment
michaelnebel:csharp14/usercompoundassignment
2m 56s
C# 14: User defined compound assignment operators. Check framework coverage changes #30895: Pull request #21372 synchronize by michaelnebel
2m 59s michaelnebel:csharp14/usercompoundassignment
michaelnebel:csharp14/usercompoundassignment
2m 59s
C# 14: User defined compound assignment operators. Check framework coverage changes #30894: Pull request #21372 synchronize by michaelnebel
2m 47s michaelnebel:csharp14/usercompoundassignment
michaelnebel:csharp14/usercompoundassignment
2m 47s
Rust: Unify call resolution logic Check framework coverage changes #30893: Pull request #21355 synchronize by hvitved
2m 39s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
2m 39s
Python: Improve modelling of overloaded methods Check framework coverage changes #30892: Pull request #21419 synchronize by tausbn
3m 59s tausbn/python-improve-overloaded-method-resolution
tausbn/python-improve-overloaded-method-resolution
3m 59s
Rust: More conservative resolution of <Foo as Bar<...>> paths Check framework coverage changes #30891: Pull request #21420 synchronize by hvitved
2m 42s hvitved:rust/type-inference-qualified-trait-arg-path
hvitved:rust/type-inference-qualified-trait-arg-path
2m 42s
Rust: More conservative resolution of <Foo as Bar<...>> paths Check framework coverage changes #30890: Pull request #21420 opened by hvitved
2m 36s hvitved:rust/type-inference-qualified-trait-arg-path
hvitved:rust/type-inference-qualified-trait-arg-path
2m 36s
C++: IR: Drop the aliased SSA Check framework coverage changes #30889: Pull request #21407 synchronize by igfoo
2m 42s igfoo:igfoo/aliased_ir
igfoo:igfoo/aliased_ir
2m 42s
C++: IR: Drop the aliased SSA Check framework coverage changes #30888: Pull request #21407 synchronize by igfoo
2m 43s igfoo:igfoo/aliased_ir
igfoo:igfoo/aliased_ir
2m 43s
C#: Add model validation for constructor summary models Check framework coverage changes #30887: Pull request #21416 synchronize by owen-mc
3m 6s owen-mc:csharp/validate-constructor-summary-models
owen-mc:csharp/validate-constructor-summary-models
3m 6s
Rust: Unify call resolution logic Check framework coverage changes #30886: Pull request #21355 synchronize by hvitved
2m 42s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
2m 42s
C#: Make Assignment extend BinaryOperation. Check framework coverage changes #30885: Pull request #21417 opened by aschackmull
2m 56s aschackmull:csharp/binary-assignment
aschackmull:csharp/binary-assignment
2m 56s
Python: Remove some simple uses of points-to Check framework coverage changes #30884: Pull request #21350 synchronize by tausbn
2m 41s tausbn/python-remove-simple-points-to
tausbn/python-remove-simple-points-to
2m 41s
Java: validate constructor summary models Check framework coverage changes #30883: Pull request #21415 synchronize by owen-mc
2m 50s owen-mc:java/validate-constructor-summary-models
owen-mc:java/validate-constructor-summary-models
2m 50s
Python: Remove some simple uses of points-to Check framework coverage changes #30882: Pull request #21350 synchronize by tausbn
2m 40s tausbn/python-remove-simple-points-to
tausbn/python-remove-simple-points-to
2m 40s
C#: Add model validation for constructor summary models Check framework coverage changes #30881: Pull request #21416 opened by owen-mc
2m 45s owen-mc:csharp/validate-constructor-summary-models
owen-mc:csharp/validate-constructor-summary-models
2m 45s
Java: validate constructor summary models Check framework coverage changes #30880: Pull request #21415 synchronize by owen-mc
2m 53s owen-mc:java/validate-constructor-summary-models
owen-mc:java/validate-constructor-summary-models
2m 53s