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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Java: Support for MaD barriers and barrier guards. Check framework coverage changes #29840: Pull request #20986 synchronize by owen-mc
1m 37s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
1m 37s
C/C++ overlay: Add multiloc declaration to Overlay.qll Check framework coverage changes #29839: Pull request #20995 synchronize by IdrissRio
2m 45s idrissrio/cpp/overlay/locations
idrissrio/cpp/overlay/locations
2m 45s
C/C++ overlay: Add multiloc declaration to Overlay.qll Check framework coverage changes #29838: Pull request #20995 synchronize by IdrissRio
2m 37s idrissrio/cpp/overlay/locations
idrissrio/cpp/overlay/locations
2m 37s
Java: Support for MaD barriers and barrier guards. Check framework coverage changes #29837: Pull request #20986 synchronize by aschackmull
1m 38s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
1m 38s
Java: Support for MaD barriers and barrier guards. Check framework coverage changes #29836: Pull request #20986 synchronize by aschackmull
1m 45s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
1m 45s
C/C++ overlay: Add multiloc declaration to Overlay.qll Check framework coverage changes #29835: Pull request #20995 opened by IdrissRio
2m 36s idrissrio/cpp/overlay/locations
idrissrio/cpp/overlay/locations
2m 36s
Rust: Reduce the number of sinks in DereferenceSink Check framework coverage changes #29834: Pull request #20941 synchronize by paldepind
2m 41s paldepind:rust/invalid-pointer-barriers
paldepind:rust/invalid-pointer-barriers
2m 41s
C++: Update expected test results after frontend update Check framework coverage changes #29833: Pull request #20926 synchronize by jketema
2m 31s jketema:jketema/frontend-update
jketema:jketema/frontend-update
2m 31s
C#: Remove PreSsa library Check framework coverage changes #29832: Pull request #20994 opened by hvitved
2m 48s hvitved:csharp/remove-pre-ssa
hvitved:csharp/remove-pre-ssa
2m 48s
JS: Incremental API graph Check framework coverage changes #29831: Pull request #20733 synchronize by asgerf
2m 37s asgerf:js/incremental-api-graphs
asgerf:js/incremental-api-graphs
2m 37s
JS: Incremental API graph Check framework coverage changes #29830: Pull request #20733 synchronize by asgerf
2m 38s asgerf:js/incremental-api-graphs
asgerf:js/incremental-api-graphs
2m 38s
JS: Add use cache directives from Next.js 16 Check framework coverage changes #29829: Pull request #20938 synchronize by asgerf
2m 35s tesseractjh:js/use-cache-directives
tesseractjh:js/use-cache-directives
2m 35s
Rust: Include more calls in DB quality metrics Check framework coverage changes #29828: Pull request #20954 synchronize by hvitved
2m 40s hvitved:rust/stats-more-calls
hvitved:rust/stats-more-calls
2m 40s
Rust: Handle Deref trait in type inference and data flow Check framework coverage changes #29827: Pull request #20987 synchronize by hvitved
2m 45s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
2m 45s
Rust: Handle Deref trait in type inference and data flow Check framework coverage changes #29826: Pull request #20987 synchronize by hvitved
2m 32s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
2m 32s
Rust: Lift content reads as taint steps Check framework coverage changes #29825: Pull request #20879 synchronize by paldepind
2m 47s paldepind:rust/reads-as-taint
paldepind:rust/reads-as-taint
2m 47s
Python: Add support for PEP-758 exception syntax Check framework coverage changes #29824: Pull request #20990 synchronize by tausbn
2m 37s tausbn/python-support-relaxed-exception-groups
tausbn/python-support-relaxed-exception-groups
2m 37s
Python: Add support for PEP-758 exception syntax Check framework coverage changes #29823: Pull request #20990 opened by tausbn
3m 1s tausbn/python-support-relaxed-exception-groups
tausbn/python-support-relaxed-exception-groups
3m 1s
Rust: Distinguish &mut T from &T in type inference Check framework coverage changes #29822: Pull request #20973 synchronize by hvitved
2m 40s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
2m 40s
Rust: Distinguish &mut T from &T in type inference Check framework coverage changes #29821: Pull request #20973 synchronize by hvitved
2m 32s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
2m 32s
Rust: Handle Deref trait in type inference and data flow Check framework coverage changes #29820: Pull request #20987 opened by hvitved
2m 38s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
2m 38s
Java: Support for MaD barriers and barrier guards. Check framework coverage changes #29819: Pull request #20986 opened by aschackmull
1m 58s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
1m 58s
Rust: Model more data flow constructs as calls using MaD Check framework coverage changes #29818: Pull request #20953 synchronize by hvitved
2m 32s hvitved:rust/data-flow-call-models
hvitved:rust/data-flow-call-models
2m 32s
C# CSRF query: add support for ASP.NET Core Check framework coverage changes #29817: Pull request #20983 synchronize by smowton
2m 34s smowton:smowton/feature/csharp-csrf-aspnetcore
smowton:smowton/feature/csharp-csrf-aspnetcore
2m 34s
C# CSRF query: add support for ASP.NET Core Check framework coverage changes #29816: Pull request #20983 opened by smowton
2m 41s smowton:smowton/feature/csharp-csrf-aspnetcore
smowton:smowton/feature/csharp-csrf-aspnetcore
2m 41s
ProTip! You can narrow down the results and go further in time using created:<2025-12-08 or the other filters available.