Skip to content

Actions: github/codeql

Actions

Check framework coverage changes

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
csv-coverage-pr-artifacts.yml
6,742 workflow runs
6,742 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prepare dataflow for local annotations Check framework coverage changes #30148: Pull request #21138 synchronize by tausbn
2m 32s tausbn/python-prepare-for-overlay-annotations
tausbn/python-prepare-for-overlay-annotations
2m 32s
Rust: Make function trait syntax without return type default to unit Check framework coverage changes #30147: Pull request #21139 opened by paldepind
2m 32s paldepind:rust/fn-syntax-return
paldepind:rust/fn-syntax-return
2m 32s
Prepare dataflow for local annotations Check framework coverage changes #30146: Pull request #21138 synchronize by tausbn
2m 33s tausbn/python-prepare-for-overlay-annotations
tausbn/python-prepare-for-overlay-annotations
2m 33s
Prepare dataflow for local annotations Check framework coverage changes #30145: Pull request #21138 opened by tausbn
2m 38s tausbn/python-prepare-for-overlay-annotations
tausbn/python-prepare-for-overlay-annotations
2m 38s
Python support ListElement in MaD Check framework coverage changes #30144: Pull request #21134 opened by yoff
2m 29s yoff:python/support-ListElement-in-MaD
yoff:python/support-ListElement-in-MaD
2m 29s
Rust: Improve/add various models Check framework coverage changes #30143: Pull request #21123 synchronize by hvitved
2m 52s hvitved:rust/fix-path-models
hvitved:rust/fix-path-models
2m 52s
Rust: Also lift read steps in summaries as taint steps Check framework coverage changes #30142: Pull request #21122 synchronize by hvitved
2m 29s hvitved:rust/summary-read-taint-step
hvitved:rust/summary-read-taint-step
2m 29s
Rust: Use TypeItem in path resolution Check framework coverage changes #30141: Pull request #21133 opened by paldepind
2m 40s paldepind:rust/type-item-path-resolution
paldepind:rust/type-item-path-resolution
2m 40s
Rust: Handle Deref trait in type inference and data flow Check framework coverage changes #30140: Pull request #20987 synchronize by hvitved
2m 32s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
2m 32s
Rust: Handle Deref trait in type inference and data flow Check framework coverage changes #30139: Pull request #20987 synchronize by hvitved
2m 49s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
2m 49s
Go: Support for MaD barriers and barrier guards. Check framework coverage changes #30138: Pull request #21015 synchronize by owen-mc
2m 42s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
2m 42s
Go: Support for MaD barriers and barrier guards. Check framework coverage changes #30137: Pull request #21015 synchronize by owen-mc
2m 54s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
2m 54s
Java: allow MaD barriers Check framework coverage changes #30136: Pull request #21055 synchronize by owen-mc
2m 51s owen-mc:java/allow-mad-barriers
owen-mc:java/allow-mad-barriers
2m 51s
C#: Add support for MaD barriers and barrier guards. Check framework coverage changes #30135: Pull request #21132 opened by aschackmull
2m 40s aschackmull:csharp/mad-barriers
aschackmull:csharp/mad-barriers
2m 40s
C++: Range analysis guard improvement Check framework coverage changes #30134: Pull request #20584 synchronize by paldepind
2m 27s paldepind:cpp/range-analysis-fix
paldepind:cpp/range-analysis-fix
2m 27s
Rust: Improve/add various models Check framework coverage changes #30133: Pull request #21123 synchronize by hvitved
2m 30s hvitved:rust/fix-path-models
hvitved:rust/fix-path-models
2m 30s
Java: Delete experimental models that have been promoted Check framework coverage changes #30132: Pull request #21129 opened by owen-mc
2m 29s owen-mc:java/delete-promoted-experimental-models
owen-mc:java/delete-promoted-experimental-models
2m 29s
C++: Remove decimal floating point types Check framework coverage changes #30131: Pull request #21110 synchronize by jketema
2m 36s jketema:jketema/rm-decimal
jketema:jketema/rm-decimal
2m 36s
Rust: Improve/add various models Check framework coverage changes #30130: Pull request #21123 synchronize by hvitved
2m 31s hvitved:rust/fix-path-models
hvitved:rust/fix-path-models
2m 31s
C++: Add predicates to support C++23 multidimensional subscript operators Check framework coverage changes #30129: Pull request #21126 synchronize by jketema
2m 33s jketema:subscript
jketema:subscript
2m 33s
Rust: Improve/add various models Check framework coverage changes #30128: Pull request #21123 synchronize by hvitved
2m 37s hvitved:rust/fix-path-models
hvitved:rust/fix-path-models
2m 37s
C++: Add predicates to support C++23 multidimensional subscript operators Check framework coverage changes #30127: Pull request #21126 synchronize by jketema
2m 29s jketema:subscript
jketema:subscript
2m 29s
C++: Add predicates to support C++23 multidimensional subscript operators Check framework coverage changes #30126: Pull request #21126 opened by jketema
2m 34s jketema:subscript
jketema:subscript
2m 34s
Rust: Use getAssocItem consistently in stdlib classes Check framework coverage changes #30125: Pull request #21125 opened by paldepind
2m 30s paldepind:rust/builtin-refactor
paldepind:rust/builtin-refactor
2m 30s
Shared: Make UniversalFlow overlay-aware. Check framework coverage changes #30124: Pull request #20884 synchronize by aschackmull
2m 54s aschackmull:java/overlay-universalflow
aschackmull:java/overlay-universalflow
2m 54s
ProTip! You can narrow down the results and go further in time using created:<2026-01-08 or the other filters available.