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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

C#: Fix false positives in cs/log-forging for extension methods Check framework coverage changes #31108: Pull request #21498 synchronize by Gregro
Action required Gregro:csharp/fix-log-forging-extension-methods
Gregro:csharp/fix-log-forging-extension-methods
Action required
C#: Fix false positives in cs/log-forging for extension methods Check framework coverage changes #31107: Pull request #21498 synchronize by Gregro
Action required Gregro:csharp/fix-log-forging-extension-methods
Gregro:csharp/fix-log-forging-extension-methods
Action required
Rust: Improve type inference for closures 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
Add IndirectUninitializedNode and related helper predicates Check framework coverage changes #31104: Pull request #21458 synchronize by jeongsoolee09
2m 34s jeongsoolee09/add-getIndirectionIndex
jeongsoolee09/add-getIndirectionIndex
2m 34s
C++: Handle field initialization via NSDMI in IR generation Check framework coverage changes #31103: Pull request #21391 synchronize by jketema
2m 40s jketema:jketema/nsdmi
jketema:jketema/nsdmi
2m 40s
Rust: Add support for defining barriers and barrier guards using models-as-data Check framework coverage changes #31102: Pull request #21475 synchronize by owen-mc
3m 22s owen-mc:rust/mad-barriers
owen-mc:rust/mad-barriers
3m 22s
C#: Replace CFG with the shared implementation. Check framework coverage changes #31101: Pull request #21513 synchronize by aschackmull
3m 13s aschackmull:csharp/cfg
aschackmull:csharp/cfg
3m 13s
Python: Port simple points-to queries without DCA alert changes Check framework coverage changes #31100: Pull request #21519 synchronize by tausbn
2m 36s tausbn/python-port-no-alert-change
tausbn/python-port-no-alert-change
2m 36s
C++: Handle field initialization via NSDMI in IR generation Check framework coverage changes #31099: Pull request #21391 synchronize by jketema
2m 32s jketema:jketema/nsdmi
jketema:jketema/nsdmi
2m 32s
Ruby: Use empty DB stats Check framework coverage changes #31098: Pull request #21511 synchronize by hvitved
2m 34s hvitved:ruby/empty-stats
hvitved:ruby/empty-stats
2m 34s
C#: Remove expanded assignments. Check framework coverage changes #31097: Pull request #21452 synchronize by michaelnebel
1m 45s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
1m 45s
C#: Remove expanded assignments. Check framework coverage changes #31096: Pull request #21452 synchronize by michaelnebel
1m 45s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
1m 45s
Ruby: Use empty DB stats Check framework coverage changes #31095: Pull request #21511 synchronize by hvitved
2m 39s hvitved:ruby/empty-stats
hvitved:ruby/empty-stats
2m 39s
Rust: Add support for defining barriers and barrier guards using models-as-data Check framework coverage changes #31094: Pull request #21475 synchronize by owen-mc
3m 14s owen-mc:rust/mad-barriers
owen-mc:rust/mad-barriers
3m 14s
Rust: Add support for defining barriers and barrier guards using models-as-data Check framework coverage changes #31093: Pull request #21475 synchronize by owen-mc
3m 14s owen-mc:rust/mad-barriers
owen-mc:rust/mad-barriers
3m 14s
Swift: Fix typo Check framework coverage changes #31092: Pull request #21522 opened by jketema
2m 39s jketema:swift-linux-test
jketema:swift-linux-test
2m 39s
C#: Remove expanded assignments. Check framework coverage changes #31091: Pull request #21452 synchronize by michaelnebel
1m 42s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
1m 42s
C#: Remove expanded assignments. Check framework coverage changes #31090: Pull request #21452 synchronize by michaelnebel
1m 49s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
1m 49s
Ruby: Use empty DB stats Check framework coverage changes #31089: Pull request #21511 synchronize by hvitved
2m 33s hvitved:ruby/empty-stats
hvitved:ruby/empty-stats
2m 33s
C++: Add cpp/extraction-information query Check framework coverage changes #31088: Pull request #21512 synchronize by paldepind
2m 40s paldepind:cpp/extraction-information
paldepind:cpp/extraction-information
2m 40s
C#: Remove expanded assignments. Check framework coverage changes #31087: Pull request #21452 synchronize by michaelnebel
1m 44s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
1m 44s
C++: exclude printf implementation internals from uncontrolled format string sinks Check framework coverage changes #31086: Pull request #21493 synchronize by MarkLee131
2m 44s MarkLee131:fix/format-string-fp-in-printf-impl
MarkLee131:fix/format-string-fp-in-printf-impl
2m 44s
Add IndirectUninitializedNode and related helper predicates Check framework coverage changes #31084: Pull request #21458 synchronize by jeongsoolee09
2m 34s jeongsoolee09/add-getIndirectionIndex
jeongsoolee09/add-getIndirectionIndex
2m 34s
Add IndirectUninitializedNode and related helper predicates Check framework coverage changes #31083: Pull request #21458 synchronize by jeongsoolee09
2m 41s jeongsoolee09/add-getIndirectionIndex
jeongsoolee09/add-getIndirectionIndex
2m 41s