Skip to content

Actions: github/codeql

Actions

Check QLdoc coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-qldoc.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: migrate control flow graph to shared CFG library Check QLdoc coverage #23782: Pull request #21614 synchronize by owen-mc
1m 0s copilot/vscode-mndb17m3-9fpv
copilot/vscode-mndb17m3-9fpv
1m 0s
Type inference: Unify getABaseTypeMention and conditionSatisfiesConstraint Check QLdoc coverage #23781: Pull request #21850 synchronize by hvitved
1m 8s hvitved:type-inference-unify-base-type
hvitved:type-inference-unify-base-type
1m 8s
Unified: Get rid of all $children fields Check QLdoc coverage #23780: Pull request #21841 synchronize by tausbn
46s tausbn/unified-swift-named-body-fields
tausbn/unified-swift-named-body-fields
46s
Type inference: Unify getABaseTypeMention and conditionSatisfiesConstraint Check QLdoc coverage #23779: Pull request #21850 opened by hvitved
1m 1s hvitved:type-inference-unify-base-type
hvitved:type-inference-unify-base-type
1m 1s
Swift: prototype implementation of type inference in QL Check QLdoc coverage #23778: Pull request #21837 synchronize by hvitved
1m 28s hvitved:swift/type-inference-proto
hvitved:swift/type-inference-proto
1m 28s
Unified: Get rid of all $children fields Check QLdoc coverage #23777: Pull request #21841 synchronize by tausbn
47s tausbn/unified-swift-named-body-fields
tausbn/unified-swift-named-body-fields
47s
Align alphaNumericRegex() with the documented grouped SHA pattern Check QLdoc coverage #23776: Pull request #21838 synchronize by owen-mc
37s copilot/widen-regex-for-pinned-actions
copilot/widen-regex-for-pinned-actions
37s
C++: Support reasoning about whether a phi node overwrites the entire buffer Check QLdoc coverage #23775: Pull request #21836 synchronize by MathiasVP
1m 0s MathiasVP:uncertain-def-more-complete
MathiasVP:uncertain-def-more-complete
1m 0s
C++: Support reasoning about whether a phi node overwrites the entire buffer Check QLdoc coverage #23774: Pull request #21836 synchronize by MathiasVP
1m 9s MathiasVP:uncertain-def-more-complete
MathiasVP:uncertain-def-more-complete
1m 9s
C#: Improve dataflow for mutation definition and mutation operator calls. Check QLdoc coverage #23773: Pull request #21839 synchronize by michaelnebel
1m 11s michaelnebel:csharp/mutationassignabledefinition
michaelnebel:csharp/mutationassignabledefinition
1m 11s
Swift: prototype implementation of type inference in QL Check QLdoc coverage #23772: Pull request #21837 synchronize by hvitved
1m 24s hvitved:swift/type-inference-proto
hvitved:swift/type-inference-proto
1m 24s
Rust: Move more type inference logic into shared library Check QLdoc coverage #23771: Pull request #21795 synchronize by hvitved
49s hvitved:rust/type-inference-shared
hvitved:rust/type-inference-shared
49s
Swift: prototype implementation of type inference in QL Check QLdoc coverage #23770: Pull request #21837 synchronize by hvitved
1m 18s hvitved:swift/type-inference-proto
hvitved:swift/type-inference-proto
1m 18s
Unified: Add schema checking and corpus-style tests Check QLdoc coverage #23769: Pull request #21848 synchronize by asgerf
47s asgerf:asgerf/swift-yeast
asgerf:asgerf/swift-yeast
47s
Unified: Add schema checking and corpus-style tests Check QLdoc coverage #23768: Pull request #21848 opened by asgerf
41s asgerf:asgerf/swift-yeast
asgerf:asgerf/swift-yeast
41s
C#: Unary expression cleanup in the extractor. Check QLdoc coverage #23767: Pull request #21845 opened by michaelnebel
1m 11s michaelnebel:csharp/unaryoperatorcleanup
michaelnebel:csharp/unaryoperatorcleanup
1m 11s
C# 14: User increment/decrement support. Check QLdoc coverage #23766: Pull request #21827 synchronize by michaelnebel
1m 4s michaelnebel:csharp14/userincrementdecrement
michaelnebel:csharp14/userincrementdecrement
1m 4s
C# 14: User increment/decrement support. Check QLdoc coverage #23765: Pull request #21827 synchronize by michaelnebel
1m 8s michaelnebel:csharp14/userincrementdecrement
michaelnebel:csharp14/userincrementdecrement
1m 8s
Swift: prototype implementation of type inference in QL Check QLdoc coverage #23764: Pull request #21837 synchronize by hvitved
49s hvitved:swift/type-inference-proto
hvitved:swift/type-inference-proto
49s
C# 14: User increment/decrement support. Check QLdoc coverage #23763: Pull request #21827 synchronize by michaelnebel
1m 10s michaelnebel:csharp14/userincrementdecrement
michaelnebel:csharp14/userincrementdecrement
1m 10s
Align alphaNumericRegex() with the documented grouped SHA pattern Check QLdoc coverage #23762: Pull request #21838 synchronize by owen-mc
50s copilot/widen-regex-for-pinned-actions
copilot/widen-regex-for-pinned-actions
50s
Swift: prototype implementation of type inference in QL Check QLdoc coverage #23761: Pull request #21837 synchronize by hvitved
28s hvitved:swift/type-inference-proto
hvitved:swift/type-inference-proto
28s
Unified: Get rid of all $children fields Check QLdoc coverage #23760: Pull request #21841 opened by tausbn
46s tausbn/unified-swift-named-body-fields
tausbn/unified-swift-named-body-fields
46s
Align alphaNumericRegex() with the documented grouped SHA pattern Check QLdoc coverage #23759: Pull request #21838 synchronize by owen-mc
46s copilot/widen-regex-for-pinned-actions
copilot/widen-regex-for-pinned-actions
46s
Align alphaNumericRegex() with the documented grouped SHA pattern Check QLdoc coverage #23758: Pull request #21838 synchronize by owen-mc
50s copilot/widen-regex-for-pinned-actions
copilot/widen-regex-for-pinned-actions
50s