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/add various models Check overlay annotations #4512: Pull request #21123 synchronize by hvitved
18s hvitved:rust/fix-path-models
hvitved:rust/fix-path-models
18s
Merge pull request #21125 from paldepind/rust/builtin-refactor Check overlay annotations #4511: Commit c8728c2 pushed by paldepind
18s main
main
18s
C++: Add predicates to support C++23 multidimensional subscript operators Check overlay annotations #4510: Pull request #21126 synchronize by jketema
20s jketema:subscript
jketema:subscript
20s
Merge pull request #20910 from yoff/java/more-thread-safe-initialisers Check overlay annotations #4509: Commit 608fa1a pushed by yoff
18s main
main
18s
C++: Add predicates to support C++23 multidimensional subscript operators Check overlay annotations #4508: Pull request #21126 opened by jketema
17s jketema:subscript
jketema:subscript
17s
Merge pull request #21113 from paldepind/cpp/range-analysis-float-ceil Check overlay annotations #4507: Commit 26bd332 pushed by paldepind
19s main
main
19s
Merge pull request #21124 from jketema/jketema/vec-expr Check overlay annotations #4506: Commit 0c8fd83 pushed by jketema
18s main
main
18s
Merge pull request #21120 from github/workflow/coverage/update Check overlay annotations #4505: Commit c419b51 pushed by owen-mc
18s main
main
18s
Rust: Use getAssocItem consistently in stdlib classes Check overlay annotations #4504: Pull request #21125 opened by paldepind
19s paldepind:rust/builtin-refactor
paldepind:rust/builtin-refactor
19s
C++: Add tests for logical vector operations Check overlay annotations #4503: Pull request #21124 opened by jketema
21s jketema:jketema/vec-expr
jketema:jketema/vec-expr
21s
Shared: Make UniversalFlow overlay-aware. Check overlay annotations #4502: Pull request #20884 synchronize by aschackmull
19s aschackmull:java/overlay-universalflow
aschackmull:java/overlay-universalflow
19s
Rust: Improve/add various models Check overlay annotations #4501: Pull request #21123 opened 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 #4500: Pull request #21122 synchronize by hvitved
18s hvitved:rust/summary-read-taint-step
hvitved:rust/summary-read-taint-step
18s
Rust: Also lift read steps in summaries as taint steps Check overlay annotations #4499: Pull request #21122 opened by hvitved
19s hvitved:rust/summary-read-taint-step
hvitved:rust/summary-read-taint-step
19s
Kotlin: Support Kotlin 2.3.0 Check overlay annotations #4498: Pull request #20965 synchronize by andersfugmann
19s andersfugmann/kotlin_2.3.0-beta2
andersfugmann/kotlin_2.3.0-beta2
19s
JS: Only exclude JS files in the tsconfig outDir Check overlay annotations #4497: Pull request #21121 opened by asgerf
17s asgerf:js/out-dir-filtering
asgerf:js/out-dir-filtering
17s
Merge pull request #21119 from github/redsun82/cmake Check overlay annotations #4496: Commit 22b88ae pushed by redsun82
20s main
main
20s
Merge pull request #20938 from tesseractjh/js/use-cache-directives Check overlay annotations #4495: Commit 2ea3c0e pushed by asgerf
20s main
main
20s
C++: Remove safeFloor in simple range analysis Check overlay annotations #4494: Pull request #21113 synchronize by paldepind
17s paldepind:cpp/range-analysis-float-ceil
paldepind:cpp/range-analysis-float-ceil
17s
Merge pull request #21117 from smowton/smowton/admin/revert-java-path… Check overlay annotations #4493: Commit d048d39 pushed by smowton
19s main
main
19s
Merge pull request #21105 from jketema/load-this Check overlay annotations #4492: Commit a5f6806 pushed by jketema
18s main
main
18s
Cmake: fix bazel not generating files for the cmake generator Check overlay annotations #4491: Pull request #21119 opened by redsun82
20s redsun82/cmake
redsun82/cmake
20s
C# 14: Null conditional assignment. Check overlay annotations #4490: Pull request #21118 opened by michaelnebel
18s michaelnebel:csharp14/nullconditionalassignment
michaelnebel:csharp14/nullconditionalassignment
18s
Rust: Regenerate models Check overlay annotations #4489: Pull request #21023 synchronize by paldepind
18s paldepind:rust/regenerate-models-1212
paldepind:rust/regenerate-models-1212
18s
Python: Add modelling for zstd.compression Check overlay annotations #4488: Pull request #21002 synchronize by tausbn
18s tausbn/python-add-models-for-zstd-compression
tausbn/python-add-models-for-zstd-compression
18s
ProTip! You can narrow down the results and go further in time using created:<2026-01-07 or the other filters available.