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
Prepare dataflow for local annotations Check framework coverage changes #30156: Pull request #21138 synchronize by tausbn
2m 35s tausbn/python-prepare-for-overlay-annotations
tausbn/python-prepare-for-overlay-annotations
2m 35s
Prepare dataflow for local annotations Check framework coverage changes #30155: Pull request #21138 synchronize by tausbn
2m 32s tausbn/python-prepare-for-overlay-annotations
tausbn/python-prepare-for-overlay-annotations
2m 32s
Add overlay[local] annotations Check framework coverage changes #30154: Pull request #21116 synchronize by tausbn
2m 33s tausbn/python-add-dataflow-overlay-annotations
tausbn/python-add-dataflow-overlay-annotations
2m 33s
This PR adds models Java client APIs for CouchBase and adds tests for 2 queries Check framework coverage changes #30153: Pull request #21082 synchronize by mbaluda
2m 31s mbaluda:couchdb
mbaluda:couchdb
2m 31s
This PR adds models Java client APIs for CouchBase and adds tests for 2 queries Check framework coverage changes #30152: Pull request #21082 synchronize by mbaluda
2m 26s mbaluda:couchdb
mbaluda:couchdb
2m 26s
Prepare dataflow for local annotations Check framework coverage changes #30151: Pull request #21138 synchronize by tausbn
2m 31s tausbn/python-prepare-for-overlay-annotations
tausbn/python-prepare-for-overlay-annotations
2m 31s
Prepare dataflow for local annotations Check framework coverage changes #30150: Pull request #21138 synchronize by tausbn
2m 35s tausbn/python-prepare-for-overlay-annotations
tausbn/python-prepare-for-overlay-annotations
2m 35s
C#: Allow MaD barriers and barrier guards, and convert some existing ones Check framework coverage changes #30149: Pull request #21140 opened by owen-mc
2m 44s owen-mc:csharp/mad-barriers
owen-mc:csharp/mad-barriers
2m 44s
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
ProTip! You can narrow down the results and go further in time using created:<2026-01-08 or the other filters available.