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
Shared: Prefer source/sink models with manual provenance over generated Check framework coverage changes #29924: Pull request #21020 opened by hvitved
3m 7s hvitved:shared/source-sink-provenance-prio
hvitved:shared/source-sink-provenance-prio
3m 7s
Go: Support for MaD barriers and barrier guards. Check framework coverage changes #29923: Pull request #21015 synchronize by aschackmull
3m 12s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
3m 12s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Check framework coverage changes #29922: Pull request #21011 synchronize by aschackmull
3m 11s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
3m 11s
Rust: Don't propagate impl in return position into function bodies Check framework coverage changes #29921: Pull request #21019 synchronize by paldepind
2m 37s paldepind:rust/impl-return
paldepind:rust/impl-return
2m 37s
Rust: Don't propagate impl in return position into function bodies Check framework coverage changes #29920: Pull request #21019 opened by paldepind
2m 30s paldepind:rust/impl-return
paldepind:rust/impl-return
2m 30s
Go: Support for MaD barriers and barrier guards. Check framework coverage changes #29919: Pull request #21015 synchronize by aschackmull
3m 10s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
3m 10s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Check framework coverage changes #29918: Pull request #21011 synchronize by aschackmull
3m 8s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
3m 8s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Check framework coverage changes #29917: Pull request #21009 synchronize by geoffw0
2m 35s geoffw0:varfps
geoffw0:varfps
2m 35s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Check framework coverage changes #29916: Pull request #21009 synchronize by geoffw0
2m 34s geoffw0:varfps
geoffw0:varfps
2m 34s
C/C++ overlay: Discard xml entities Check framework coverage changes #29915: Pull request #21017 synchronize by IdrissRio
2m 31s idrissrio/cpp/overlay/xml
idrissrio/cpp/overlay/xml
2m 31s
Go: Support for MaD barriers and barrier guards. Check framework coverage changes #29914: Pull request #21015 synchronize by aschackmull
3m 18s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
3m 18s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Check framework coverage changes #29913: Pull request #21011 synchronize by aschackmull
49s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
49s
Java: Support for MaD barriers and barrier guards. Check framework coverage changes #29912: Pull request #20986 synchronize by aschackmull
3m 22s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
3m 22s
Java: Support for MaD barriers and barrier guards. Check framework coverage changes #29911: Pull request #20986 synchronize by aschackmull
3m 28s aschackmull:java/mad-barriers
aschackmull:java/mad-barriers
3m 28s
C++: Update expected test results after frontend update Check framework coverage changes #29910: Pull request #20926 synchronize by jketema
2m 40s jketema:jketema/frontend-update
jketema:jketema/frontend-update
2m 40s
C/C++ overlay: Discard xml entities Check framework coverage changes #29909: Pull request #21017 synchronize by IdrissRio
2m 34s idrissrio/cpp/overlay/xml
idrissrio/cpp/overlay/xml
2m 34s
C#: Connect shared Guards to SSA BarrierGuards. Check framework coverage changes #29908: Pull request #21018 opened by aschackmull
2m 40s aschackmull:csharp/guards-connect-barrierguard
aschackmull:csharp/guards-connect-barrierguard
2m 40s
C/C++ overlay: Discard xml entities Check framework coverage changes #29907: Pull request #21017 opened by IdrissRio
2m 39s idrissrio/cpp/overlay/xml
idrissrio/cpp/overlay/xml
2m 39s
Rust: Lift content reads as taint steps Check framework coverage changes #29906: Pull request #20879 synchronize by paldepind
2m 40s paldepind:rust/reads-as-taint
paldepind:rust/reads-as-taint
2m 40s
Python: MaD barriers Check framework coverage changes #29905: Pull request #21004 synchronize by yoff
3m 11s yoff:python/mad-barriers
yoff:python/mad-barriers
3m 11s
Go: Support for MaD barriers and barrier guards. Check framework coverage changes #29904: Pull request #21015 synchronize by aschackmull
3m 22s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
3m 22s
Python: MaD barriers Check framework coverage changes #29903: Pull request #21004 synchronize by yoff
3m 18s yoff:python/mad-barriers
yoff:python/mad-barriers
3m 18s
Go: Support for MaD barriers and barrier guards. Check framework coverage changes #29902: Pull request #21015 opened by aschackmull
3m 17s aschackmull:go/mad-barriers
aschackmull:go/mad-barriers
3m 17s
C#: Remove PreSsa library Check framework coverage changes #29901: Pull request #20994 synchronize by hvitved
2m 44s hvitved:csharp/remove-pre-ssa
hvitved:csharp/remove-pre-ssa
2m 44s
C#: Remove PreSsa library Check framework coverage changes #29900: Pull request #20994 synchronize by hvitved
2m 50s hvitved:csharp/remove-pre-ssa
hvitved:csharp/remove-pre-ssa
2m 50s
ProTip! You can narrow down the results and go further in time using created:<2025-12-11 or the other filters available.