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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

C++: Handle field initialization via NSDMI in IR generation Check framework coverage changes #31148: Pull request #21391 synchronize by jketema
2m 41s jketema:jketema/nsdmi
jketema:jketema/nsdmi
2m 41s
Python: Port simple points-to queries without DCA alert changes Check framework coverage changes #31147: Pull request #21519 synchronize by tausbn
2m 39s tausbn/python-port-no-alert-change
tausbn/python-port-no-alert-change
2m 39s
Rust: Infer argument types based on trait bounds on parameters Check framework coverage changes #31146: 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
Rust: Take additional type parameter constraints into account Check framework coverage changes #31145: Pull request #21564 synchronize by hvitved
2m 40s hvitved:rust/type-inference-additional-constraints
hvitved:rust/type-inference-additional-constraints
2m 40s
C#: Replace CFG with the shared implementation Check framework coverage changes #31144: Pull request #21565 opened by aschackmull
1m 43s aschackmull:csharp/cfg2
aschackmull:csharp/cfg2
1m 43s
Rust: Take additional type parameter constraints into account Check framework coverage changes #31143: Pull request #21564 opened by hvitved
2m 46s hvitved:rust/type-inference-additional-constraints
hvitved:rust/type-inference-additional-constraints
2m 46s
Go: use shared SSA library (codeql.ssa.Ssa) Check framework coverage changes #31142: Pull request #21554 synchronize by owen-mc
1m 58s copilot/make-go-use-ssa-library
copilot/make-go-use-ssa-library
1m 58s
Go: use shared SSA library (codeql.ssa.Ssa) Check framework coverage changes #31141: Pull request #21554 synchronize by owen-mc
2m 41s copilot/make-go-use-ssa-library
copilot/make-go-use-ssa-library
2m 41s
Rust: Enable MaD barriers for queries with MaD sinks Check framework coverage changes #31140: Pull request #21563 synchronize by owen-mc
2m 43s owen-mc:rust/allow-mad-barriers
owen-mc:rust/allow-mad-barriers
2m 43s
Rust: Enable MaD barriers for queries with MaD sinks Check framework coverage changes #31139: Pull request #21563 opened by owen-mc
2m 32s owen-mc:rust/allow-mad-barriers
owen-mc:rust/allow-mad-barriers
2m 32s
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