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
C++: Handle field initialization via NSDMI in IR generation Check framework coverage changes #31138: Pull request #21391 synchronize by jketema
2m 40s jketema:jketema/nsdmi
jketema:jketema/nsdmi
2m 40s
C++: Handle field initialization via NSDMI in IR generation Check framework coverage changes #31137: Pull request #21391 synchronize by jketema
2m 42s jketema:jketema/nsdmi
jketema:jketema/nsdmi
2m 42s
C#: Remove expanded assignments. Check framework coverage changes #31136: Pull request #21452 synchronize by michaelnebel
2m 58s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
2m 58s
C#: Remove expanded assignments. Check framework coverage changes #31135: Pull request #21452 synchronize by michaelnebel
2m 46s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
2m 46s
Test: Don't merge Check framework coverage changes #31134: Pull request #21561 opened by aschackmull
2m 37s aschackmull:csharp/test-enclosing
aschackmull:csharp/test-enclosing
2m 37s
C++: Fix bad join in callsVariadicFormatter Check framework coverage changes #31133: Pull request #21560 opened by tausbn
2m 36s tausbn/cpp-fix-bad-join-in-printf
tausbn/cpp-fix-bad-join-in-printf
2m 36s
Go: use shared SSA library (codeql.ssa.Ssa) Check framework coverage changes #31132: Pull request #21554 synchronize by Copilot AI
2m 8s copilot/make-go-use-ssa-library
copilot/make-go-use-ssa-library
2m 8s
Go: use shared SSA library (codeql.ssa.Ssa) Check framework coverage changes #31131: Pull request #21554 synchronize by Copilot AI
Action required copilot/make-go-use-ssa-library
copilot/make-go-use-ssa-library
Action required
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
ProTip! You can narrow down the results and go further in time using created:<2026-03-23 or the other filters available.