Skip to content

Actions: github/codeql

Actions

Check overlay annotations

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-overlay-annotations.yml
4,683 workflow runs
4,683 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Kotlin: Support Kotlin 2.3.0-Beta2 Check overlay annotations #4771: Pull request #20965 synchronize by andersfugmann
19s andersfugmann/kotlin_2.3.0-beta2
andersfugmann/kotlin_2.3.0-beta2
19s
Merge pull request #21179 from hvitved/rust/fix-bad-join Check overlay annotations #4770: Commit 1c689d0 pushed by hvitved
21s main
main
21s
C++: Fix conflation in barrier guards Check overlay annotations #4769: Pull request #21171 synchronize by MathiasVP
18s MathiasVP:fix-conflation-in-guards
MathiasVP:fix-conflation-in-guards
18s
C++: Fix conflation in barrier guards Check overlay annotations #4768: Pull request #21171 synchronize by MathiasVP
17s MathiasVP:fix-conflation-in-guards
MathiasVP:fix-conflation-in-guards
17s
Rust: Fix bad join Check overlay annotations #4767: Pull request #21180 opened by hvitved
16s hvitved:rust/fix-bad-join2
hvitved:rust/fix-bad-join2
16s
C++: Fix conflation in barrier guards Check overlay annotations #4766: Pull request #21171 synchronize by MathiasVP
17s MathiasVP:fix-conflation-in-guards
MathiasVP:fix-conflation-in-guards
17s
Rust: Fix bad join Check overlay annotations #4765: Pull request #21179 opened by hvitved
19s hvitved:rust/fix-bad-join
hvitved:rust/fix-bad-join
19s
Merge pull request #21177 from hvitved/actions/example-dir Check overlay annotations #4764: Commit 7c95fef pushed by hvitved
18s main
main
18s
Shared (static): Always treat subtypes column as true Check overlay annotations #4763: Pull request #21085 synchronize by owen-mc
19s owen-mc:shared/mad/always-use-subtypes-true
owen-mc:shared/mad/always-use-subtypes-true
19s
Actions: Add examples qlpack Check overlay annotations #4762: Pull request #21177 synchronize by hvitved
20s hvitved:actions/example-dir
hvitved:actions/example-dir
20s
C# 14: Null conditional assignments. Check overlay annotations #4761: Pull request #21158 synchronize by michaelnebel
18s michaelnebel:csharp/cfgforaccess
michaelnebel:csharp/cfgforaccess
18s
Merge pull request #21172 from paldepind/rust/dyn-abs Check overlay annotations #4760: Commit ec09440 pushed by paldepind
20s main
main
20s
Rust: Improve type inference for closures and function traits Check overlay annotations #4759: Pull request #21170 synchronize by paldepind
17s paldepind:rust/type-inference-fns
paldepind:rust/type-inference-fns
17s
C# 14: Null conditional assignments. Check overlay annotations #4758: Pull request #21158 synchronize by michaelnebel
17s michaelnebel:csharp/cfgforaccess
michaelnebel:csharp/cfgforaccess
17s
Rust: Avoid unnecessary constraint satisfaction Check overlay annotations #4757: Pull request #21172 synchronize by paldepind
18s paldepind:rust/dyn-abs
paldepind:rust/dyn-abs
18s
Merge pull request #21175 from github/workflow/coverage/update Check overlay annotations #4756: Commit c14b869 pushed by owen-mc
20s main
main
20s
Rust: Avoid unnecessary constraint satisfaction Check overlay annotations #4755: Pull request #21172 synchronize by paldepind
21s paldepind:rust/dyn-abs
paldepind:rust/dyn-abs
21s
Rust: Remove restriction that blanket(-like) impls must have a constraint Check overlay annotations #4754: Pull request #21168 synchronize by hvitved
21s hvitved:rust/type-inference-remove-blanket-constraint-restriction
hvitved:rust/type-inference-remove-blanket-constraint-restriction
21s
C# 14: Null conditional assignments. Check overlay annotations #4753: Pull request #21158 synchronize by michaelnebel
21s michaelnebel:csharp/cfgforaccess
michaelnebel:csharp/cfgforaccess
21s
Rust: Avoid unnecessary constraint satisfaction Check overlay annotations #4752: Pull request #21172 synchronize by paldepind
18s paldepind:rust/dyn-abs
paldepind:rust/dyn-abs
18s
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