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,311 workflow runs
4,311 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rust: Handle Deref trait in type inference and data flow Check overlay annotations #4313: Pull request #20987 synchronize by hvitved
19s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
19s
Merge pull request #21057 from hvitved/rust/fix-bad-join Check overlay annotations #4312: Commit 47e375f pushed by hvitved
20s main
main
20s
Rust: Distinguish &mut T from &T in type inference Check overlay annotations #4311: Pull request #20973 synchronize by hvitved
21s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
21s
Rust: Distinguish &mut T from &T in type inference Check overlay annotations #4310: Pull request #20973 synchronize by hvitved
18s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
18s
Merge pull request #21043 from hvitved/rust/type-inference-trait-boun… Check overlay annotations #4309: Commit adfaefd pushed by hvitved
21s main
main
21s
feat: Add PHP language support Check overlay annotations #4308: Pull request #21061 opened by drmckay
Action required drmckay:add-php-support
drmckay:add-php-support
Action required
Rust: Improve and rename Adt class Check overlay annotations #4307: Pull request #21059 synchronize by paldepind
26s paldepind:rust/adt-class
paldepind:rust/adt-class
26s
Rust: Improve and rename Adt class Check overlay annotations #4306: Pull request #21059 synchronize by paldepind
20s paldepind:rust/adt-class
paldepind:rust/adt-class
20s
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