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
Rust: Improve and rename Adt class Check overlay annotations #4305: Pull request #21059 synchronize by paldepind
19s paldepind:rust/adt-class
paldepind:rust/adt-class
19s
Rust: Improve and rename Adt class Check overlay annotations #4304: Pull request #21059 synchronize by paldepind
20s paldepind:rust/adt-class
paldepind:rust/adt-class
20s
Rust: Handle Deref trait in type inference and data flow Check overlay annotations #4303: Pull request #20987 synchronize by hvitved
20s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
20s
Rust: Improve and rename Adt class Check overlay annotations #4302: Pull request #21059 synchronize by paldepind
22s paldepind:rust/adt-class
paldepind:rust/adt-class
22s
Shared: Add library for unbound lists Check overlay annotations #4301: Pull request #21060 synchronize by hvitved
19s hvitved:shared/unbound-list
hvitved:shared/unbound-list
19s
Python: Add overlay annotations to AST classes Check overlay annotations #4300: Pull request #20972 synchronize by tausbn
24s tausbn/python-add-ast-overlay-annotations
tausbn/python-add-ast-overlay-annotations
24s
Rust: Handle Deref trait in type inference and data flow Check overlay annotations #4299: Pull request #20987 synchronize by hvitved
19s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
19s
Rust: Handle Deref trait in type inference and data flow Check overlay annotations #4298: Pull request #20987 synchronize by hvitved
21s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
21s
Rust: Improve and rename Adt class Check overlay annotations #4297: Pull request #21059 synchronize by paldepind
24s paldepind:rust/adt-class
paldepind:rust/adt-class
24s
Shared: Add library for unbound lists Check overlay annotations #4296: Pull request #21060 synchronize by hvitved
19s hvitved:shared/unbound-list
hvitved:shared/unbound-list
19s
Shared: Add library for unbound lists Check overlay annotations #4295: Pull request #21060 opened by hvitved
21s hvitved:shared/unbound-list
hvitved:shared/unbound-list
21s
Rust: Improve and rename Adt class Check overlay annotations #4294: Pull request #21059 opened by paldepind
20s paldepind:rust/adt-class
paldepind:rust/adt-class
20s
Rust: Fix bad join Check overlay annotations #4293: Pull request #21057 opened by hvitved
20s hvitved:rust/fix-bad-join
hvitved:rust/fix-bad-join
20s
Java: allow MaD barriers Check overlay annotations #4292: Pull request #21055 synchronize by owen-mc
25s owen-mc:java/allow-mad-barriers
owen-mc:java/allow-mad-barriers
25s
Rust: Handle Deref trait in type inference and data flow Check overlay annotations #4291: Pull request #20987 synchronize by hvitved
19s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
19s
JS: Incremental API graph Check overlay annotations #4290: Pull request #20733 synchronize by asgerf
19s asgerf:js/incremental-api-graphs
asgerf:js/incremental-api-graphs
19s
Rust: Distinguish &mut T from &T in type inference Check overlay annotations #4289: Pull request #20973 synchronize by hvitved
20s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
20s
Rust: Fix candidate receiver type calculation for trait bounds Check overlay annotations #4288: Pull request #21043 synchronize by hvitved
39s hvitved:rust/type-inference-trait-bounds-overlap
hvitved:rust/type-inference-trait-bounds-overlap
39s
Java: allow MaD barriers Check overlay annotations #4287: Pull request #21055 synchronize by owen-mc
20s owen-mc:java/allow-mad-barriers
owen-mc:java/allow-mad-barriers
20s
Merge pull request #21027 from hvitved/rust/type-inference-matching-s… Check overlay annotations #4286: Commit 802c465 pushed by hvitved
19s main
main
19s
JS: Incremental API graph Check overlay annotations #4285: Pull request #20733 synchronize by asgerf
18s asgerf:js/incremental-api-graphs
asgerf:js/incremental-api-graphs
18s
Rust: Fix candidate receiver type calculation for trait bounds Check overlay annotations #4284: Pull request #21043 synchronize by hvitved
25s hvitved:rust/type-inference-trait-bounds-overlap
hvitved:rust/type-inference-trait-bounds-overlap
25s
Rust: Also use specialized types when inferring types for calls Check overlay annotations #4283: Pull request #21027 synchronize by hvitved
21s hvitved:rust/type-inference-matching-specialization
hvitved:rust/type-inference-matching-specialization
21s
Rust: Also use specialized types when inferring types for calls Check overlay annotations #4282: Pull request #21027 synchronize by hvitved
18s hvitved:rust/type-inference-matching-specialization
hvitved:rust/type-inference-matching-specialization
18s
Swift: Update to Swift 6.2.3 Check overlay annotations #4281: Pull request #21037 synchronize by jketema
18s jketema:swift-6.2.3
jketema:swift-6.2.3
18s
ProTip! You can narrow down the results and go further in time using created:<2025-12-17 or the other filters available.