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,744 workflow runs
6,744 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add overlay[local] annotations Check framework coverage changes #30116: Pull request #21116 opened by tausbn
2m 38s tausbn/python-add-dataflow-overlay-annotations
tausbn/python-add-dataflow-overlay-annotations
2m 38s
Rust: Handle Deref trait in type inference and data flow Check framework coverage changes #30115: Pull request #20987 synchronize by hvitved
2m 28s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
2m 28s
C++: Remove safeFloor in simple range analysis Check framework coverage changes #30114: Pull request #21113 synchronize by paldepind
2m 41s paldepind:cpp/range-analysis-float-ceil
paldepind:cpp/range-analysis-float-ceil
2m 41s
Java: Add models for spring WebSocketHandler Check framework coverage changes #30113: Pull request #20999 synchronize by owen-mc
2m 38s joefarebrother:java-spring-websocket
joefarebrother:java-spring-websocket
2m 38s
C++: Remove safeFloor in simple range analysis Check framework coverage changes #30112: Pull request #21113 opened by paldepind
2m 36s paldepind:cpp/range-analysis-float-ceil
paldepind:cpp/range-analysis-float-ceil
2m 36s
JS: Incremental API graph Check framework coverage changes #30111: Pull request #20733 synchronize by asgerf
2m 37s asgerf:js/incremental-api-graphs
asgerf:js/incremental-api-graphs
2m 37s
Rust: Handle Deref trait in type inference and data flow Check framework coverage changes #30110: Pull request #20987 synchronize by hvitved
2m 34s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
2m 34s
Rust: Handle Deref trait in type inference and data flow Check framework coverage changes #30109: Pull request #20987 synchronize by hvitved
2m 32s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
2m 32s
Rust: Regenerate models Check framework coverage changes #30108: Pull request #21023 synchronize by paldepind
2m 34s paldepind:rust/regenerate-models-1212
paldepind:rust/regenerate-models-1212
2m 34s
C# 14: Implicit span conversions. Check framework coverage changes #30107: Pull request #21065 synchronize by michaelnebel
2m 49s michaelnebel:csharp/implicitspanconversions
michaelnebel:csharp/implicitspanconversions
2m 49s
C++: Remove decimal floating point types Check framework coverage changes #30106: Pull request #21110 opened by jketema
2m 44s jketema:jketema/rm-decimal
jketema:jketema/rm-decimal
2m 44s
Go: Support for MaD barriers and barrier guards. Check framework coverage changes #30105: Pull request #21015 synchronize by owen-mc
2m 45s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
2m 45s
Go: misc trivial fixes Check framework coverage changes #30104: Pull request #21109 opened by owen-mc
2m 40s owen-mc:go/misc-trivial-fixes
owen-mc:go/misc-trivial-fixes
2m 40s
Go: Support for MaD barriers and barrier guards. Check framework coverage changes #30103: Pull request #21015 synchronize by owen-mc
3m 2s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
3m 2s
C++: Use the loaded this instead of the this initialization Check framework coverage changes #30102: Pull request #21105 synchronize by jketema
2m 36s jketema:load-this
jketema:load-this
2m 36s
ProTip! You can narrow down the results and go further in time using created:<2026-01-06 or the other filters available.