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
7,019 workflow runs
7,019 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

C++: Generate IR for assertions in release builds Check framework coverage changes #30162: Pull request #21142 synchronize by MathiasVP
2m 36s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
2m 36s
C++: Generate IR for assertions in release builds Check framework coverage changes #30161: Pull request #21142 synchronize by MathiasVP
2m 33s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
2m 33s
C++: Generate IR for assertions in release builds Check framework coverage changes #30160: Pull request #21142 opened by MathiasVP
2m 32s MathiasVP:ir-support-for-assertions
MathiasVP:ir-support-for-assertions
2m 32s
Python: Prompt injection in OpenAI clients Check framework coverage changes #30159: Pull request #21141 synchronize by mbaluda
2m 38s mbaluda:prompt-injection
mbaluda:prompt-injection
2m 38s
Python: Prompt injection in OpenAI clients Check framework coverage changes #30158: Pull request #21141 synchronize by mbaluda
2m 33s mbaluda:prompt-injection
mbaluda:prompt-injection
2m 33s
Python: Prompt injection in OpenAI clients Check framework coverage changes #30157: Pull request #21141 opened by mbaluda
2m 39s mbaluda:prompt-injection
mbaluda:prompt-injection
2m 39s
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