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 #21122 from hvitved/rust/summary-read-taint-step Check overlay annotations #4540: Commit 636bbe3 pushed by hvitved
17s main
main
17s
Merge pull request #21133 from paldepind/rust/type-item-path-resolution Check overlay annotations #4539: Commit ac62a9f pushed by paldepind
17s main
main
17s
Merge pull request #21002 from github/tausbn/python-add-models-for-zs… Check overlay annotations #4538: Commit 89ddd67 pushed by tausbn
17s main
main
17s
Java: Add change note for plugin repo support Check overlay annotations #4537: Pull request #21136 opened by mbg
19s mbg/java/maven-plugin-repo-changenote
mbg/java/maven-plugin-repo-changenote
19s
Shared: Improve range analysis for phis at loop exits Check overlay annotations #4536: Pull request #21135 synchronize by MathiasVP
18s MathiasVP:better-range-analysis-for-phis
MathiasVP:better-range-analysis-for-phis
18s
Shared: Improve range analysis for phis at loop exits Check overlay annotations #4535: Pull request #21135 opened by MathiasVP
18s MathiasVP:better-range-analysis-for-phis
MathiasVP:better-range-analysis-for-phis
18s
Python support ListElement in MaD Check overlay annotations #4534: Pull request #21134 opened by yoff
19s yoff:python/support-ListElement-in-MaD
yoff:python/support-ListElement-in-MaD
19s
Rust: Improve/add various models Check overlay annotations #4533: Pull request #21123 synchronize by hvitved
18s hvitved:rust/fix-path-models
hvitved:rust/fix-path-models
18s
Rust: Also lift read steps in summaries as taint steps Check overlay annotations #4532: Pull request #21122 synchronize by hvitved
18s hvitved:rust/summary-read-taint-step
hvitved:rust/summary-read-taint-step
18s
Merge pull request #20987 from hvitved/rust/type-inference-deref-trait Check overlay annotations #4531: Commit 1a29b32 pushed by hvitved
18s main
main
18s
Merge pull request #21131 from github/workflow/coverage/update Check overlay annotations #4530: Commit 9493d9d pushed by owen-mc
20s main
main
20s
Rust: Use TypeItem in path resolution Check overlay annotations #4529: Pull request #21133 opened by paldepind
18s paldepind:rust/type-item-path-resolution
paldepind:rust/type-item-path-resolution
18s
Rust: Handle Deref trait in type inference and data flow Check overlay annotations #4528: Pull request #20987 synchronize by hvitved
19s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
19s
Merge pull request #21055 from owen-mc/java/allow-mad-barriers Check overlay annotations #4527: Commit d7acb75 pushed by owen-mc
20s main
main
20s
Rust: Handle Deref trait in type inference and data flow Check overlay annotations #4526: Pull request #20987 synchronize by hvitved
19s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
19s
Go: Support for MaD barriers and barrier guards. Check overlay annotations #4525: Pull request #21015 synchronize by owen-mc
16s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
16s
Go: Support for MaD barriers and barrier guards. Check overlay annotations #4524: Pull request #21015 synchronize by owen-mc
20s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
20s
Java: allow MaD barriers Check overlay annotations #4523: Pull request #21055 synchronize by owen-mc
17s owen-mc:java/allow-mad-barriers
owen-mc:java/allow-mad-barriers
17s
C#: Add support for MaD barriers and barrier guards. Check overlay annotations #4522: Pull request #21132 opened by aschackmull
19s aschackmull:csharp/mad-barriers
aschackmull:csharp/mad-barriers
19s
Merge pull request #21129 from owen-mc/java/delete-promoted-experimen… Check overlay annotations #4521: Commit 70c90a1 pushed by owen-mc
22s main
main
22s
C++: Range analysis guard improvement Check overlay annotations #4520: Pull request #20584 synchronize by paldepind
18s paldepind:cpp/range-analysis-fix
paldepind:cpp/range-analysis-fix
18s
Rust: Improve/add various models Check overlay annotations #4519: Pull request #21123 synchronize by hvitved
20s hvitved:rust/fix-path-models
hvitved:rust/fix-path-models
20s
Java: Delete experimental models that have been promoted Check overlay annotations #4518: Pull request #21129 opened by owen-mc
20s owen-mc:java/delete-promoted-experimental-models
owen-mc:java/delete-promoted-experimental-models
20s
C++: Remove decimal floating point types Check overlay annotations #4517: Pull request #21110 synchronize by jketema
18s jketema:jketema/rm-decimal
jketema:jketema/rm-decimal
18s
SSA: Improve performance of finding relevant phi input nodes. Check overlay annotations #4516: Pull request #21127 opened by aschackmull
19s aschackmull:ssa/phi-input-perf
aschackmull:ssa/phi-input-perf
19s
ProTip! You can narrow down the results and go further in time using created:<2026-01-08 or the other filters available.