Skip to content

Actions: github/codeql

Actions

Check QLdoc coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-qldoc.yml
6,425 workflow runs
6,425 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 QLdoc coverage #23244: 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 QLdoc coverage #23243: 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 QLdoc coverage #23242: Pull request #21206 synchronize by hvitved
52s hvitved:rust/type-inference-closure-param-context-typed
hvitved:rust/type-inference-closure-param-context-typed
52s
Add IndirectUninitializedNode and related helper predicates Check QLdoc coverage #23241: Pull request #21458 synchronize by jeongsoolee09
59s jeongsoolee09/add-getIndirectionIndex
jeongsoolee09/add-getIndirectionIndex
59s
Add IndirectUninitializedNode and related helper predicates Check QLdoc coverage #23240: Pull request #21458 synchronize by jeongsoolee09
1m 8s jeongsoolee09/add-getIndirectionIndex
jeongsoolee09/add-getIndirectionIndex
1m 8s
C++: Handle field initialization via NSDMI in IR generation Check QLdoc coverage #23239: Pull request #21391 synchronize by jketema
1m 5s jketema:jketema/nsdmi
jketema:jketema/nsdmi
1m 5s
Rust: Add support for defining barriers and barrier guards using models-as-data Check QLdoc coverage #23238: Pull request #21475 synchronize by owen-mc
52s owen-mc:rust/mad-barriers
owen-mc:rust/mad-barriers
52s
Document MaD barriers and barrier guards and add change notes Check QLdoc coverage #23237: Pull request #21523 synchronize by owen-mc
6m 2s owen-mc:docs/mad/barriers
owen-mc:docs/mad/barriers
6m 2s
C#: Replace CFG with the shared implementation. Check QLdoc coverage #23236: Pull request #21513 synchronize by aschackmull
3m 25s aschackmull:csharp/cfg
aschackmull:csharp/cfg
3m 25s
Python: Port simple points-to queries without DCA alert changes Check QLdoc coverage #23235: Pull request #21519 synchronize by tausbn
58s tausbn/python-port-no-alert-change
tausbn/python-port-no-alert-change
58s
C++: Handle field initialization via NSDMI in IR generation Check QLdoc coverage #23234: Pull request #21391 synchronize by jketema
1m 0s jketema:jketema/nsdmi
jketema:jketema/nsdmi
1m 0s
Ruby: Use empty DB stats Check QLdoc coverage #23233: Pull request #21511 synchronize by hvitved
1m 6s hvitved:ruby/empty-stats
hvitved:ruby/empty-stats
1m 6s
C#: Remove expanded assignments. Check QLdoc coverage #23232: Pull request #21452 synchronize by michaelnebel
1m 0s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
1m 0s
C#: Remove expanded assignments. Check QLdoc coverage #23231: Pull request #21452 synchronize by michaelnebel
1m 5s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
1m 5s
Ruby: Use empty DB stats Check QLdoc coverage #23230: Pull request #21511 synchronize by hvitved
1m 5s hvitved:ruby/empty-stats
hvitved:ruby/empty-stats
1m 5s
Rust: Add support for defining barriers and barrier guards using models-as-data Check QLdoc coverage #23229: Pull request #21475 synchronize by owen-mc
57s owen-mc:rust/mad-barriers
owen-mc:rust/mad-barriers
57s
Rust: Add support for defining barriers and barrier guards using models-as-data Check QLdoc coverage #23228: Pull request #21475 synchronize by owen-mc
51s owen-mc:rust/mad-barriers
owen-mc:rust/mad-barriers
51s
Swift: Fix typo Check QLdoc coverage #23227: Pull request #21522 opened by jketema
58s jketema:swift-linux-test
jketema:swift-linux-test
58s
C#: Remove expanded assignments. Check QLdoc coverage #23226: Pull request #21452 synchronize by michaelnebel
1m 3s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
1m 3s
C#: Remove expanded assignments. Check QLdoc coverage #23225: Pull request #21452 synchronize by michaelnebel
1m 3s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
1m 3s
Ruby: Use empty DB stats Check QLdoc coverage #23224: Pull request #21511 synchronize by hvitved
1m 2s hvitved:ruby/empty-stats
hvitved:ruby/empty-stats
1m 2s
C#: Remove expanded assignments. Check QLdoc coverage #23223: Pull request #21452 synchronize by michaelnebel
1m 0s michaelnebel:csharp/expandedassignment
michaelnebel:csharp/expandedassignment
1m 0s
Add IndirectUninitializedNode and related helper predicates Check QLdoc coverage #23222: Pull request #21458 synchronize by jeongsoolee09
1m 2s jeongsoolee09/add-getIndirectionIndex
jeongsoolee09/add-getIndirectionIndex
1m 2s
Add IndirectUninitializedNode and related helper predicates Check QLdoc coverage #23221: Pull request #21458 synchronize by jeongsoolee09
1m 3s jeongsoolee09/add-getIndirectionIndex
jeongsoolee09/add-getIndirectionIndex
1m 3s
Rust: Improve type inference for closures Check QLdoc coverage #23220: Pull request #21206 synchronize by hvitved
56s hvitved:rust/type-inference-closure-param-context-typed
hvitved:rust/type-inference-closure-param-context-typed
56s