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
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: 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
Rust: Improve/add various models Check framework coverage changes #30123: Pull request #21123 opened by hvitved
2m 30s hvitved:rust/fix-path-models
hvitved:rust/fix-path-models
2m 30s
Rust: Also lift read steps in summaries as taint steps Check framework coverage changes #30122: Pull request #21122 synchronize by hvitved
2m 35s hvitved:rust/summary-read-taint-step
hvitved:rust/summary-read-taint-step
2m 35s
Rust: Also lift read steps in summaries as taint steps Check framework coverage changes #30121: Pull request #21122 opened by hvitved
2m 30s hvitved:rust/summary-read-taint-step
hvitved:rust/summary-read-taint-step
2m 30s
C++: Remove safeFloor in simple range analysis Check framework coverage changes #30120: Pull request #21113 synchronize by paldepind
2m 44s paldepind:cpp/range-analysis-float-ceil
paldepind:cpp/range-analysis-float-ceil
2m 44s
C# 14: Null conditional assignment. Check framework coverage changes #30119: Pull request #21118 opened by michaelnebel
2m 45s michaelnebel:csharp14/nullconditionalassignment
michaelnebel:csharp14/nullconditionalassignment
2m 45s
Rust: Regenerate models Check framework coverage changes #30118: Pull request #21023 synchronize by paldepind
2m 34s paldepind:rust/regenerate-models-1212
paldepind:rust/regenerate-models-1212
2m 34s
Python: Add modelling for zstd.compression Check framework coverage changes #30117: Pull request #21002 synchronize by tausbn
2m 36s tausbn/python-add-models-for-zstd-compression
tausbn/python-add-models-for-zstd-compression
2m 36s
ProTip! You can narrow down the results and go further in time using created:<2026-01-07 or the other filters available.