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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rust: Distinguish &mut T from &T in type inference Check framework coverage changes #29938: Pull request #20973 synchronize by hvitved
2m 36s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
2m 36s
Rust: Also use specialized types when inferring types for calls Check framework coverage changes #29937: Pull request #21027 synchronize by hvitved
2m 27s hvitved:rust/type-inference-matching-specialization
hvitved:rust/type-inference-matching-specialization
2m 27s
Rust: Also use specialized types when inferring types for calls Check framework coverage changes #29936: Pull request #21027 opened by hvitved
2m 35s hvitved:rust/type-inference-matching-specialization
hvitved:rust/type-inference-matching-specialization
2m 35s
Rust: Distinguish &mut T from &T in type inference Check framework coverage changes #29935: Pull request #20973 synchronize by hvitved
2m 46s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
2m 46s
Rust: Distinguish &mut T from &T in type inference Check framework coverage changes #29934: Pull request #20973 synchronize by hvitved
2m 39s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
2m 39s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Check framework coverage changes #29933: Pull request #21011 synchronize by aschackmull
3m 7s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
3m 7s
Mergeback rc/3.20 into main Check framework coverage changes #29932: Pull request #21025 synchronize by oscarsj
2m 36s oscarsj/mergeback-rc-3-20-into-main
oscarsj/mergeback-rc-3-20-into-main
2m 36s
Mergeback rc/3.20 into main Check framework coverage changes #29931: Pull request #21025 opened by oscarsj
2m 32s oscarsj/mergeback-rc-3-20-into-main
oscarsj/mergeback-rc-3-20-into-main
2m 32s
C#: Add implicit System.Collections.Generic.KeyValuePair2.Value reads at taint sinks Check framework coverage changes #29930: Pull request #21024 synchronize by MathiasVP
2m 50s MathiasVP:csharp-implicit-map-value-reads
MathiasVP:csharp-implicit-map-value-reads
2m 50s
C#: Add implicit System.Collections.Generic.KeyValuePair2.Value reads at taint sinks Check framework coverage changes #29929: Pull request #21024 opened by MathiasVP
2m 56s MathiasVP:csharp-implicit-map-value-reads
MathiasVP:csharp-implicit-map-value-reads
2m 56s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Check framework coverage changes #29928: Pull request #21011 synchronize by aschackmull
3m 23s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
3m 23s
Shared: Prefer source/sink models with manual provenance over generated Check framework coverage changes #29927: Pull request #21020 synchronize by hvitved
3m 17s hvitved:shared/source-sink-provenance-prio
hvitved:shared/source-sink-provenance-prio
3m 17s
Rust: Regenerate models Check framework coverage changes #29926: Pull request #21023 opened by paldepind
12m 52s paldepind:rust/regenerate-models-1212
paldepind:rust/regenerate-models-1212
12m 52s
Shared: Prefer source/sink models with manual provenance over generated Check framework coverage changes #29925: Pull request #21020 synchronize by hvitved
3m 13s hvitved:shared/source-sink-provenance-prio
hvitved:shared/source-sink-provenance-prio
3m 13s
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