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
Actions: Add examples qlpack Check overlay annotations #4751: Pull request #21177 opened by hvitved
20s hvitved:actions/example-dir
hvitved:actions/example-dir
20s
Rust: Improve type inference for closures and function traits Check overlay annotations #4750: Pull request #21170 synchronize by paldepind
20s paldepind:rust/type-inference-fns
paldepind:rust/type-inference-fns
20s
Rust: Improve type inference for closures and function traits Check overlay annotations #4749: Pull request #21170 synchronize by paldepind
18s paldepind:rust/type-inference-fns
paldepind:rust/type-inference-fns
18s
Shared: Provenance-based filtering of flow summaries Check overlay annotations #4748: Pull request #21051 synchronize by hvitved
19s hvitved:shared/flow-summary-provenance-filtering
hvitved:shared/flow-summary-provenance-filtering
19s
Python: MaD barriers Check overlay annotations #4747: Pull request #21004 synchronize by yoff
17s yoff:python/mad-barriers
yoff:python/mad-barriers
17s
Python: MaD barriers Check overlay annotations #4746: Pull request #21004 synchronize by yoff
18s yoff:python/mad-barriers
yoff:python/mad-barriers
18s
Python: MaD barriers Check overlay annotations #4745: Pull request #21004 synchronize by yoff
18s yoff:python/mad-barriers
yoff:python/mad-barriers
18s
Rust: Remove restriction that blanket(-like) impls must have a constraint Check overlay annotations #4744: Pull request #21168 synchronize by hvitved
22s hvitved:rust/type-inference-remove-blanket-constraint-restriction
hvitved:rust/type-inference-remove-blanket-constraint-restriction
22s
Kotlin: Support Kotlin 2.3.0 Check overlay annotations #4743: Pull request #20965 synchronize by andersfugmann
7m 46s andersfugmann/kotlin_2.3.0-beta2
andersfugmann/kotlin_2.3.0-beta2
7m 46s
C++: Fix conflation in barrier guards Check overlay annotations #4742: Pull request #21171 synchronize by MathiasVP
21s MathiasVP:fix-conflation-in-guards
MathiasVP:fix-conflation-in-guards
21s
C# 14: Null conditional assignments. Check overlay annotations #4741: Pull request #21158 synchronize by michaelnebel
18s michaelnebel:csharp/cfgforaccess
michaelnebel:csharp/cfgforaccess
18s
Kotlin: Support Kotlin 2.3.0 Check overlay annotations #4740: Pull request #20965 synchronize by andersfugmann
17s andersfugmann/kotlin_2.3.0-beta2
andersfugmann/kotlin_2.3.0-beta2
17s
C# 14: Null conditional assignments. Check overlay annotations #4739: Pull request #21158 synchronize by michaelnebel
19s michaelnebel:csharp/cfgforaccess
michaelnebel:csharp/cfgforaccess
19s
Kotlin: Support Kotlin 2.3.0 Check overlay annotations #4738: Pull request #20965 synchronize by andersfugmann
19s andersfugmann/kotlin_2.3.0-beta2
andersfugmann/kotlin_2.3.0-beta2
19s
Rust: Remove restriction that blanket(-like) impls must have a constraint Check overlay annotations #4737: Pull request #21168 synchronize by hvitved
19s hvitved:rust/type-inference-remove-blanket-constraint-restriction
hvitved:rust/type-inference-remove-blanket-constraint-restriction
19s
C++: Generate IR for assertions in release builds Check overlay annotations #4736: Pull request #21142 synchronize by MathiasVP
26s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
26s
C++: Generate IR for assertions in release builds Check overlay annotations #4735: Pull request #21142 synchronize by MathiasVP
12m 0s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
12m 0s
C++: Generate IR for assertions in release builds Check overlay annotations #4734: Pull request #21142 synchronize by MathiasVP
21m 27s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
21m 27s
Shared: Provenance-based filtering of flow summaries Check overlay annotations #4733: Pull request #21051 synchronize by hvitved
10m 35s hvitved:shared/flow-summary-provenance-filtering
hvitved:shared/flow-summary-provenance-filtering
10m 35s
Merge pull request #20930 from owen-mc/java/spring-rest-template-requ… Check overlay annotations #4732: Commit a5d9cb1 pushed by owen-mc
26m 44s main
main
26m 44s
Rust: Remove restriction that blanket(-like) impls must have a constraint Check overlay annotations #4731: Pull request #21168 synchronize by hvitved
14m 11s hvitved:rust/type-inference-remove-blanket-constraint-restriction
hvitved:rust/type-inference-remove-blanket-constraint-restriction
14m 11s
Merge pull request #21169 from hvitved/shard-compile-queries Check overlay annotations #4730: Commit d3fc254 pushed by hvitved
3m 20s main
main
3m 20s
Rust: Avoid unnecessary constraint satisfaction Check overlay annotations #4729: Pull request #21172 opened by paldepind
20s paldepind:rust/dyn-abs
paldepind:rust/dyn-abs
20s
Make compile-queries.yml sharded based on language Check overlay annotations #4728: Pull request #21169 synchronize by hvitved
19s hvitved:shard-compile-queries
hvitved:shard-compile-queries
19s
C++: Fix conflation in barrier guards Check overlay annotations #4727: Pull request #21171 opened by MathiasVP
19s MathiasVP:fix-conflation-in-guards
MathiasVP:fix-conflation-in-guards
19s
ProTip! You can narrow down the results and go further in time using created:<2026-01-15 or the other filters available.