Skip to content

Actions: github/codeql

Actions

Check overlay annotations

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-overlay-annotations.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 overlay annotations #7094: Pull request #21614 synchronize by owen-mc
18s copilot/vscode-mndb17m3-9fpv
copilot/vscode-mndb17m3-9fpv
18s
build(deps): bump github.com/go-git/go-billy/v5 from 5.0.0 to 5.9.0 in /go/ql/test/library-tests/semmle/go/frameworks/Fasthttp in the go_modules group across 1 directory Check overlay annotations #7093: Pull request #21851 opened by dependabot Bot
25s dependabot/go_modules/go/ql/test/library-tests/semmle/go/frameworks/Fasthttp/go_modules-bfadefeff3
dependabot/go_modules/go/ql/test/library-tests/semmle/go/frameworks/Fasthttp/go_modules-bfadefeff3
25s
Type inference: Unify getABaseTypeMention and conditionSatisfiesConstraint Check overlay annotations #7092: Pull request #21850 synchronize by hvitved
23s hvitved:type-inference-unify-base-type
hvitved:type-inference-unify-base-type
23s
Unified: Get rid of all $children fields Check overlay annotations #7091: Pull request #21841 synchronize by tausbn
22s tausbn/unified-swift-named-body-fields
tausbn/unified-swift-named-body-fields
22s
Type inference: Unify getABaseTypeMention and conditionSatisfiesConstraint Check overlay annotations #7090: Pull request #21850 opened by hvitved
24s hvitved:type-inference-unify-base-type
hvitved:type-inference-unify-base-type
24s
Swift: prototype implementation of type inference in QL Check overlay annotations #7089: Pull request #21837 synchronize by hvitved
25s hvitved:swift/type-inference-proto
hvitved:swift/type-inference-proto
25s
Unified: Get rid of all $children fields Check overlay annotations #7088: Pull request #21841 synchronize by tausbn
24s tausbn/unified-swift-named-body-fields
tausbn/unified-swift-named-body-fields
24s
Merge pull request #21842 from github/workflow/coverage/update Check overlay annotations #7087: Commit 0c27484 pushed by owen-mc
26s main
main
26s
Align alphaNumericRegex() with the documented grouped SHA pattern Check overlay annotations #7086: Pull request #21838 synchronize by owen-mc
28s copilot/widen-regex-for-pinned-actions
copilot/widen-regex-for-pinned-actions
28s
C++: Support reasoning about whether a phi node overwrites the entire buffer Check overlay annotations #7085: Pull request #21836 synchronize by MathiasVP
23s MathiasVP:uncertain-def-more-complete
MathiasVP:uncertain-def-more-complete
23s
C++: Support reasoning about whether a phi node overwrites the entire buffer Check overlay annotations #7084: Pull request #21836 synchronize by MathiasVP
21s MathiasVP:uncertain-def-more-complete
MathiasVP:uncertain-def-more-complete
21s
C#: Improve dataflow for mutation definition and mutation operator calls. Check overlay annotations #7083: Pull request #21839 synchronize by michaelnebel
25s michaelnebel:csharp/mutationassignabledefinition
michaelnebel:csharp/mutationassignabledefinition
25s
Shared: Improvements to SensitiveDataHeuristics.qll Check overlay annotations #7082: Pull request #21806 synchronize by geoffw0
26s geoffw0:extsensitive
geoffw0:extsensitive
26s
Cfg: Add consistency queries for the Ast module. Check overlay annotations #7081: Pull request #21849 opened by aschackmull
27s aschackmull:cfg/ast-consistency
aschackmull:cfg/ast-consistency
27s
Swift: prototype implementation of type inference in QL Check overlay annotations #7080: Pull request #21837 synchronize by hvitved
27s hvitved:swift/type-inference-proto
hvitved:swift/type-inference-proto
27s
Rust: Move more type inference logic into shared library Check overlay annotations #7079: Pull request #21795 synchronize by hvitved
20s hvitved:rust/type-inference-shared
hvitved:rust/type-inference-shared
20s
Shared: Add Ast consistency queries Check overlay annotations #7078: Pull request #21813 synchronize by aschackmull
20s copilot/add-ast-consistency-checks
copilot/add-ast-consistency-checks
20s
Swift: prototype implementation of type inference in QL Check overlay annotations #7077: Pull request #21837 synchronize by hvitved
22s hvitved:swift/type-inference-proto
hvitved:swift/type-inference-proto
22s
Shared: Add Ast consistency queries Check overlay annotations #7076: Pull request #21813 synchronize by aschackmull
23s copilot/add-ast-consistency-checks
copilot/add-ast-consistency-checks
23s
Shared: Add Ast consistency queries Check overlay annotations #7075: Pull request #21813 synchronize by aschackmull
20s copilot/add-ast-consistency-checks
copilot/add-ast-consistency-checks
20s
C# 14: Update paket and dependencies. Check overlay annotations #7074: Pull request #21846 synchronize by michaelnebel
24s michaelnebel:csharp/updateextractordependencies
michaelnebel:csharp/updateextractordependencies
24s
Shared: Add Ast consistency queries Check overlay annotations #7073: Pull request #21813 synchronize by aschackmull
20s copilot/add-ast-consistency-checks
copilot/add-ast-consistency-checks
20s
docs: Add 'Customizing library models for Rust' documentation Check overlay annotations #7072: Pull request #21727 synchronize by coadaflorin
26s docs/customizing-library-models-for-rust
docs/customizing-library-models-for-rust
26s
docs: Add 'Customizing library models for Rust' documentation Check overlay annotations #7071: Pull request #21727 synchronize by coadaflorin
21s docs/customizing-library-models-for-rust
docs/customizing-library-models-for-rust
21s
Shared: Add Ast consistency queries Check overlay annotations #7070: Pull request #21813 synchronize by aschackmull
23s copilot/add-ast-consistency-checks
copilot/add-ast-consistency-checks
23s