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
Go: use shared SSA library (codeql.ssa.Ssa) Check framework coverage changes #31130: Pull request #21554 synchronize by Copilot AI
Action required copilot/make-go-use-ssa-library
copilot/make-go-use-ssa-library
Action required
Rust: Add support for defining barriers and barrier guards using models-as-data Check framework coverage changes #31129: Pull request #21475 synchronize by owen-mc
3m 25s owen-mc:rust/mad-barriers
owen-mc:rust/mad-barriers
3m 25s
Rust: Add support for defining barriers and barrier guards using models-as-data Check framework coverage changes #31128: Pull request #21475 synchronize by owen-mc
3m 14s owen-mc:rust/mad-barriers
owen-mc:rust/mad-barriers
3m 14s
C++: Handle field initialization via NSDMI in IR generation Check framework coverage changes #31127: Pull request #21391 synchronize by jketema
2m 49s jketema:jketema/nsdmi
jketema:jketema/nsdmi
2m 49s
Python: Port simple points-to queries without DCA alert changes Check framework coverage changes #31126: Pull request #21519 synchronize by tausbn
2m 33s tausbn/python-port-no-alert-change
tausbn/python-port-no-alert-change
2m 33s
Python: Port simple points-to queries without DCA alert changes Check framework coverage changes #31125: Pull request #21519 synchronize by tausbn
2m 39s tausbn/python-port-no-alert-change
tausbn/python-port-no-alert-change
2m 39s
C++: Disable cpp/implicit-function-declaration on build mode none databases Check framework coverage changes #31124: Pull request #21553 opened by geoffw0
2m 45s geoffw0:implicitfn
geoffw0:implicitfn
2m 45s
C#: Remove expanded assignments. Check framework coverage changes #31123: Pull request #21452 synchronize by michaelnebel
1m 45s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
1m 45s
Python: Port simple points-to queries without DCA alert changes Check framework coverage changes #31122: Pull request #21519 synchronize by tausbn
2m 34s tausbn/python-port-no-alert-change
tausbn/python-port-no-alert-change
2m 34s
Python: Port simple points-to queries without DCA alert changes Check framework coverage changes #31121: Pull request #21519 synchronize by tausbn
2m 35s tausbn/python-port-no-alert-change
tausbn/python-port-no-alert-change
2m 35s
C#: Remove expanded assignments. Check framework coverage changes #31120: Pull request #21452 synchronize by michaelnebel
1m 54s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
1m 54s
C++: Expose indirect instructions and indirect parameters in dataflow Check framework coverage changes #31119: Pull request #21552 synchronize by MathiasVP
2m 34s MathiasVP:more-public-dataflow-apis
MathiasVP:more-public-dataflow-apis
2m 34s
C++: Expose indirect instructions and indirect parameters in dataflow Check framework coverage changes #31118: Pull request #21552 synchronize by MathiasVP
2m 35s MathiasVP:more-public-dataflow-apis
MathiasVP:more-public-dataflow-apis
2m 35s
C++: Expose indirect instructions and indirect parameters in dataflow Check framework coverage changes #31117: Pull request #21552 opened by MathiasVP
2m 35s MathiasVP:more-public-dataflow-apis
MathiasVP:more-public-dataflow-apis
2m 35s
Rust: Infer argument types based on trait bounds on parameters Check framework coverage changes #31116: Pull request #21206 synchronize by hvitved
2m 36s hvitved:rust/type-inference-closure-param-context-typed
hvitved:rust/type-inference-closure-param-context-typed
2m 36s
C++: Handle field initialization via NSDMI in IR generation Check framework coverage changes #31115: Pull request #21391 synchronize by jketema
2m 36s jketema:jketema/nsdmi
jketema:jketema/nsdmi
2m 36s
C++: Add expressions with type data to cpp/extraction-information Check framework coverage changes #31114: Pull request #21544 opened by paldepind
2m 30s paldepind:cpp/extraction-information-expr-types
paldepind:cpp/extraction-information-expr-types
2m 30s
Rust: Infer argument types based on trait bounds on parameters Check framework coverage changes #31113: 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
Add IndirectUninitializedNode and related helper predicates Check framework coverage changes #31112: Pull request #21458 synchronize by jketema
2m 35s jeongsoolee09/add-getIndirectionIndex
jeongsoolee09/add-getIndirectionIndex
2m 35s
C#: Remove expanded assignments. Check framework coverage changes #31111: Pull request #21452 synchronize by michaelnebel
1m 47s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
1m 47s
Rust: Infer argument types based on trait bounds on parameters Check framework coverage changes #31110: Pull request #21206 synchronize by hvitved
2m 33s hvitved:rust/type-inference-closure-param-context-typed
hvitved:rust/type-inference-closure-param-context-typed
2m 33s
Add IndirectUninitializedNode and related helper predicates Check framework coverage changes #31109: Pull request #21458 synchronize by jeongsoolee09
2m 35s jeongsoolee09/add-getIndirectionIndex
jeongsoolee09/add-getIndirectionIndex
2m 35s
C#: Fix false positives in cs/log-forging for extension methods Check framework coverage changes #31108: Pull request #21498 synchronize by Gregro
2m 36s Gregro:csharp/fix-log-forging-extension-methods
Gregro:csharp/fix-log-forging-extension-methods
2m 36s
Rust: Infer argument types based on trait bounds on parameters Check framework coverage changes #31106: Pull request #21206 synchronize by hvitved
2m 41s hvitved:rust/type-inference-closure-param-context-typed
hvitved:rust/type-inference-closure-param-context-typed
2m 41s
Add IndirectUninitializedNode and related helper predicates Check framework coverage changes #31105: Pull request #21458 synchronize by jeongsoolee09
2m 36s jeongsoolee09/add-getIndirectionIndex
jeongsoolee09/add-getIndirectionIndex
2m 36s
ProTip! You can narrow down the results and go further in time using created:<2026-03-20 or the other filters available.