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
Merge pull request #21035 from hvitved/rust/ord-models Check overlay annotations #4230: Commit 74ed18a pushed by hvitved
22s main
main
22s
Swift: Update to Swift 6.2.3 Check overlay annotations #4229: Pull request #21037 opened by jketema
18s jketema:swift-6.2.3
jketema:swift-6.2.3
18s
Rust: Don't apply generated models for functions that have a manual model Check overlay annotations #4228: Pull request #21036 synchronize by paldepind
19s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
19s
Rust: Don't apply generated models for functions that have a manual model Check overlay annotations #4227: Pull request #21036 synchronize by paldepind
19s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
19s
Rust: Regenerate models Check overlay annotations #4226: Pull request #21023 synchronize by paldepind
19s paldepind:rust/regenerate-models-1212
paldepind:rust/regenerate-models-1212
19s
Rust: Don't apply generated models for functions that have a manual model Check overlay annotations #4225: Pull request #21036 opened by paldepind
19s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
19s
Rust: Also use specialized types when inferring types for calls Check overlay annotations #4224: Pull request #21027 synchronize by hvitved
19s hvitved:rust/type-inference-matching-specialization
hvitved:rust/type-inference-matching-specialization
19s
Merge pull request #21025 from github/oscarsj/mergeback-rc-3-20-into-… Check overlay annotations #4223: Commit 2824c98 pushed by oscarsj
19s main
main
19s
Rust: Add models for core::cmp::Ord::{min,max,clamp} Check overlay annotations #4222: Pull request #21035 synchronize by hvitved
18s hvitved:rust/ord-models
hvitved:rust/ord-models
18s
Rust: Add models for core::cmp::Ord::{min,max,clamp} Check overlay annotations #4221: Pull request #21035 opened by hvitved
21s hvitved:rust/ord-models
hvitved:rust/ord-models
21s
Merge pull request #21026 from michaelnebel/csharp/migratesolution Check overlay annotations #4220: Commit 70447c6 pushed by michaelnebel
18s main
main
18s
Merge pull request #21009 from geoffw0/varfps Check overlay annotations #4219: Commit 93e8534 pushed by geoffw0
21s main
main
21s
Rust: Handle Deref trait in type inference and data flow Check overlay annotations #4218: Pull request #20987 synchronize by hvitved
18s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
18s
Rust: Distinguish &mut T from &T in type inference Check overlay annotations #4217: Pull request #20973 synchronize by hvitved
20s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
20s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Check overlay annotations #4216: Pull request #21009 synchronize by geoffw0
23s geoffw0:varfps
geoffw0:varfps
23s
Merge pull request #21031 from github/workflow/coverage/update Check overlay annotations #4215: Commit 949cfc3 pushed by michaelnebel
20s main
main
20s
Rust: Also use specialized types when inferring types for calls Check overlay annotations #4214: Pull request #21027 synchronize by hvitved
18s hvitved:rust/type-inference-matching-specialization
hvitved:rust/type-inference-matching-specialization
18s
Actions: Add new query actions/code-injection/low for code injection with step outputs Check overlay annotations #4213: Pull request #20974 synchronize by owen-mc
19s owen-mc:actions/code-injection-step-outputs-as-sources
owen-mc:actions/code-injection-step-outputs-as-sources
19s
Rust: Distinguish &mut T from &T in type inference Check overlay annotations #4212: Pull request #20973 synchronize by hvitved
18s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
18s
Rust: Also use specialized types when inferring types for calls Check overlay annotations #4211: Pull request #21027 synchronize by hvitved
17s hvitved:rust/type-inference-matching-specialization
hvitved:rust/type-inference-matching-specialization
17s
Merge pull request #20929 from owen-mc/go/fix-data-flow-consistency-c… Check overlay annotations #4210: Commit af2fbd8 pushed by owen-mc
21s main
main
21s
Bump the go_modules group across 2 directories with 4 updates Check overlay annotations #4209: Pull request #21029 opened by dependabot bot
19s dependabot/go_modules/go/ql/test/experimental/CWE-321-V2/go_modules-00b614a86a
dependabot/go_modules/go/ql/test/experimental/CWE-321-V2/go_modules-00b614a86a
19s
Merge pull request #21024 from MathiasVP/csharp-implicit-map-value-reads Check overlay annotations #4208: Commit 3ea92ea pushed by MathiasVP
17s main
main
17s
Bump the go_modules group across 10 directories with 5 updates Check overlay annotations #4207: Pull request #21028 opened by dependabot bot
23s dependabot/go_modules/go/ql/integration-tests/bazel-sample-1/src/go_modules-36ad964b54
dependabot/go_modules/go/ql/integration-tests/bazel-sample-1/src/go_modules-36ad964b54
23s
Rust: Also use specialized types when inferring types for calls Check overlay annotations #4206: Pull request #21027 opened by hvitved
18s hvitved:rust/type-inference-matching-specialization
hvitved:rust/type-inference-matching-specialization
18s
ProTip! You can narrow down the results and go further in time using created:<2025-12-12 or the other filters available.