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: Distinguish &mut T from &T in type inference Check framework coverage changes #29883: Pull request #20973 synchronize by hvitved
2m 32s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
2m 32s
Python: MaD barriers Check framework coverage changes #29882: Pull request #21004 synchronize by yoff
1m 16s yoff:python/mad-barriers
yoff:python/mad-barriers
1m 16s
C#: Remove PreSsa library Check framework coverage changes #29881: Pull request #20994 synchronize by hvitved
2m 46s hvitved:csharp/remove-pre-ssa
hvitved:csharp/remove-pre-ssa
2m 46s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Check framework coverage changes #29880: Pull request #21011 opened by aschackmull
3m 8s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
3m 8s
C/C++ overlay: Add multiloc declaration to Overlay.qll Check framework coverage changes #29879: Pull request #20995 synchronize by IdrissRio
2m 39s idrissrio/cpp/overlay/locations
idrissrio/cpp/overlay/locations
2m 39s
Rust: Lift content reads as taint steps Check framework coverage changes #29878: Pull request #20879 synchronize by paldepind
2m 32s paldepind:rust/reads-as-taint
paldepind:rust/reads-as-taint
2m 32s
Rust: Strengthen isNotInstantiationOf uses Check framework coverage changes #29877: Pull request #21010 opened by hvitved
2m 41s hvitved:rust/type-inference-fix-blowup
hvitved:rust/type-inference-fix-blowup
2m 41s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Check framework coverage changes #29876: Pull request #21009 synchronize by geoffw0
2m 30s geoffw0:varfps
geoffw0:varfps
2m 30s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Check framework coverage changes #29875: Pull request #21009 synchronize by geoffw0
2m 33s geoffw0:varfps
geoffw0:varfps
2m 33s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Check framework coverage changes #29874: Pull request #21009 opened by geoffw0
2m 34s geoffw0:varfps
geoffw0:varfps
2m 34s
Java: Support for MaD barriers and barrier guards. Check framework coverage changes #29873: Pull request #20986 synchronize by aschackmull
3m 12s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
3m 12s
C++: Update expected test results after frontend update Check framework coverage changes #29872: Pull request #20926 synchronize by jketema
2m 36s jketema:jketema/frontend-update
jketema:jketema/frontend-update
2m 36s
C#: Update Roslyn, MsBuild and Binlog extractor dependencies. Check framework coverage changes #29871: Pull request #20996 synchronize by michaelnebel
2m 37s michaelnebel:csharp/updateroslyn
michaelnebel:csharp/updateroslyn
2m 37s
Rust: Lift content reads as taint steps Check framework coverage changes #29870: Pull request #20879 synchronize by paldepind
2m 39s paldepind:rust/reads-as-taint
paldepind:rust/reads-as-taint
2m 39s
Python: Add modelling for zstd.compression Check framework coverage changes #29869: Pull request #21002 synchronize by tausbn
2m 34s tausbn/python-add-models-for-zstd-compression
tausbn/python-add-models-for-zstd-compression
2m 34s
Rust: Lift content reads as taint steps Check framework coverage changes #29868: Pull request #20879 synchronize by paldepind
2m 46s paldepind:rust/reads-as-taint
paldepind:rust/reads-as-taint
2m 46s
Python: Add modelling for zstd.compression Check framework coverage changes #29867: Pull request #21002 synchronize by tausbn
2m 41s tausbn/python-add-models-for-zstd-compression
tausbn/python-add-models-for-zstd-compression
2m 41s
Java: Support for MaD barriers and barrier guards. Check framework coverage changes #29866: Pull request #20986 synchronize by aschackmull
3m 13s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
3m 13s
Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards Check framework coverage changes #29865: Pull request #21001 synchronize by aschackmull
3m 4s aschackmull:guards/generalise-validationwrapper
aschackmull:guards/generalise-validationwrapper
3m 4s
Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards Check framework coverage changes #29864: Pull request #21001 synchronize by aschackmull
2m 59s aschackmull:guards/generalise-validationwrapper
aschackmull:guards/generalise-validationwrapper
2m 59s
Rust: Reduce the number of sinks in DereferenceSink Check framework coverage changes #29863: Pull request #20941 synchronize by paldepind
2m 31s paldepind:rust/invalid-pointer-barriers
paldepind:rust/invalid-pointer-barriers
2m 31s
Java: Support for MaD barriers and barrier guards. Check framework coverage changes #29862: Pull request #20986 synchronize by aschackmull
3m 7s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
3m 7s
Rust: Reduce the number of sinks in DereferenceSink Check framework coverage changes #29861: Pull request #20941 synchronize by paldepind
2m 41s paldepind:rust/invalid-pointer-barriers
paldepind:rust/invalid-pointer-barriers
2m 41s
Java: Support for MaD barriers and barrier guards. Check framework coverage changes #29860: Pull request #20986 synchronize by aschackmull
3m 12s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
3m 12s
Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards Check framework coverage changes #29859: Pull request #21001 synchronize by aschackmull
2m 57s aschackmull:guards/generalise-validationwrapper
aschackmull:guards/generalise-validationwrapper
2m 57s
ProTip! You can narrow down the results and go further in time using created:<2025-12-10 or the other filters available.