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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add EC to secure algorithm whitelist for Java CWE-327 query Check framework coverage changes #31199: Pull request #21594 opened by MarkLee131
2m 34s MarkLee131:fix/add-ec-to-secure-algorithm-whitelist
MarkLee131:fix/add-ec-to-secure-algorithm-whitelist
2m 34s
Rust: Infer argument types based on trait bounds on parameters Check framework coverage changes #31198: Pull request #21206 synchronize by hvitved
2m 43s hvitved:rust/type-inference-closure-param-context-typed
hvitved:rust/type-inference-closure-param-context-typed
2m 43s
Shared: update code comments explaining models-as-data format to include barriers and barrier guards Check framework coverage changes #31197: Pull request #21584 synchronize by owen-mc
3m 23s owen-mc:shared/update-mad-comments
owen-mc:shared/update-mad-comments
3m 23s
Data flow: Add hook for preventing lambda dispatch in source call contexts Check framework coverage changes #31196: Pull request #21592 synchronize by hvitved
3m 30s hvitved:dataflow/source-call-context-type-flow
hvitved:dataflow/source-call-context-type-flow
3m 30s
Python: Improve "bind all interfaces" query Check framework coverage changes #31195: Pull request #21590 synchronize by tausbn
3m 16s tausbn/python-improve-bind-all-interfaces-query
tausbn/python-improve-bind-all-interfaces-query
3m 16s
Data flow: Add hook for preventing lambda dispatch in source call contexts Check framework coverage changes #31194: Pull request #21592 synchronize by hvitved
3m 18s hvitved:dataflow/source-call-context-type-flow
hvitved:dataflow/source-call-context-type-flow
3m 18s
Data flow: Add hook for preventing lambda dispatch in source call contexts Check framework coverage changes #31193: Pull request #21592 synchronize by hvitved
1m 47s hvitved:dataflow/source-call-context-type-flow
hvitved:dataflow/source-call-context-type-flow
1m 47s
Data flow: Add hook for preventing lambda dispatch in source call contexts Check framework coverage changes #31192: Pull request #21592 opened by hvitved
1m 21s hvitved:dataflow/source-call-context-type-flow
hvitved:dataflow/source-call-context-type-flow
1m 21s
Rust: Infer argument types based on trait bounds on parameters Check framework coverage changes #31191: Pull request #21206 synchronize by hvitved
2m 39s hvitved:rust/type-inference-closure-param-context-typed
hvitved:rust/type-inference-closure-param-context-typed
2m 39s
C++: Fix join orders in virtual dispatch computation Check framework coverage changes #31190: Pull request #21591 opened by MathiasVP
2m 39s MathiasVP:restrict-pair-cand
MathiasVP:restrict-pair-cand
2m 39s
C++: Convert remaining CSV models to .model.yml and remove CSV model infrastructure Check framework coverage changes #31189: Pull request #21585 synchronize by owen-mc
2m 50s copilot/convert-models-to-yml
copilot/convert-models-to-yml
2m 50s
C++: Convert remaining CSV models to .model.yml and remove CSV model infrastructure Check framework coverage changes #31188: Pull request #21585 synchronize by owen-mc
2m 29s copilot/convert-models-to-yml
copilot/convert-models-to-yml
2m 29s
Rust: Infer argument types based on trait bounds on parameters Check framework coverage changes #31187: Pull request #21206 synchronize by hvitved
2m 32s hvitved:rust/type-inference-closure-param-context-typed
hvitved:rust/type-inference-closure-param-context-typed
2m 32s
Python: Improve "bind all interfaces" query Check framework coverage changes #31186: Pull request #21590 synchronize by tausbn
3m 8s tausbn/python-improve-bind-all-interfaces-query
tausbn/python-improve-bind-all-interfaces-query
3m 8s
C++: Convert remaining CSV models to .model.yml and remove CSV model infrastructure Check framework coverage changes #31185: Pull request #21585 synchronize by owen-mc
2m 43s copilot/convert-models-to-yml
copilot/convert-models-to-yml
2m 43s
Python: Improve "bind all interfaces" query Check framework coverage changes #31184: Pull request #21590 opened by tausbn
3m 45s tausbn/python-improve-bind-all-interfaces-query
tausbn/python-improve-bind-all-interfaces-query
3m 45s
C++: Convert remaining CSV models to .model.yml and remove CSV model infrastructure Check framework coverage changes #31182: Pull request #21585 synchronize by owen-mc
2m 38s copilot/convert-models-to-yml
copilot/convert-models-to-yml
2m 38s
C++: Silence ExtractionRecoverableWarnings when BMN is active Check framework coverage changes #31181: Pull request #21588 opened by jketema
2m 32s jketema:jketema/compiler-error-bmn
jketema:jketema/compiler-error-bmn
2m 32s
Rust: Fix performance issue associated with neutral models Check framework coverage changes #31180: Pull request #21587 opened by geoffw0
2m 41s geoffw0:neutralperf
geoffw0:neutralperf
2m 41s
C#: Remove expanded assignments. Check framework coverage changes #31179: Pull request #21452 synchronize by michaelnebel
2m 50s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
2m 50s
C#: Replace CFG with the shared implementation Check framework coverage changes #31178: Pull request #21565 synchronize by aschackmull
1m 49s aschackmull:csharp/cfg2
aschackmull:csharp/cfg2
1m 49s
C++: Convert remaining CSV models to .model.yml and remove CSV model infrastructure Check framework coverage changes #31177: Pull request #21585 synchronize by Copilot AI
2m 40s copilot/convert-models-to-yml
copilot/convert-models-to-yml
2m 40s
Shared: update code comments explaining models-as-data format to include barriers and barrier guards Check framework coverage changes #31176: Pull request #21584 synchronize by owen-mc
3m 10s owen-mc:shared/update-mad-comments
owen-mc:shared/update-mad-comments
3m 10s
Shared: update code comments explaining models-as-data format to include barriers and barrier guards Check framework coverage changes #31175: Pull request #21584 opened by owen-mc
3m 8s owen-mc:shared/update-mad-comments
owen-mc:shared/update-mad-comments
3m 8s
C#: Remove expanded assignments. Check framework coverage changes #31174: Pull request #21452 synchronize by michaelnebel
2m 46s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
2m 46s