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
C#: Recognize assertions as guards Check framework coverage changes #29147: Pull request #20701 synchronize by aschackmull
3m 8s aschackmull:csharp/assertion-guards
aschackmull:csharp/assertion-guards
3m 8s
Java: FileUpload Support MaD Check framework coverage changes #29146: Pull request #17590 synchronize by owen-mc
2m 36s Kwstubbs:java-mad-test
Kwstubbs:java-mad-test
2m 36s
Rust: Infer more () types Check framework coverage changes #29145: Pull request #20705 opened by hvitved
2m 34s hvitved:rust/type-inference-unit
hvitved:rust/type-inference-unit
2m 34s
C#: Overlay extraction support. Check framework coverage changes #29144: Pull request #20425 synchronize by michaelnebel
2m 41s michaelnebel:csharp/basicextractoroverlay
michaelnebel:csharp/basicextractoroverlay
2m 41s
C#: Recognize assertions as guards Check framework coverage changes #29143: Pull request #20701 synchronize by aschackmull
3m 15s aschackmull:csharp/assertion-guards
aschackmull:csharp/assertion-guards
3m 15s
C#: Replace old Guards with the new shared implementation. Check framework coverage changes #29142: Pull request #20665 synchronize by aschackmull
2m 56s aschackmull:csharp/guards-replace
aschackmull:csharp/guards-replace
2m 56s
Rust: Fix two bad joins Check framework coverage changes #29141: Pull request #20704 opened by hvitved
2m 28s hvitved:rust/fix-bad-joins
hvitved:rust/fix-bad-joins
2m 28s
C#: Replace old Guards with the new shared implementation. Check framework coverage changes #29140: Pull request #20665 synchronize by aschackmull
3m 4s aschackmull:csharp/guards-replace
aschackmull:csharp/guards-replace
3m 4s
C#: Recognize assertions as guards Check framework coverage changes #29139: Pull request #20701 synchronize by aschackmull
3m 3s aschackmull:csharp/assertion-guards
aschackmull:csharp/assertion-guards
3m 3s
Rust: Compute incompatible blanket implementations Check framework coverage changes #29138: Pull request #20612 synchronize by hvitved
2m 31s hvitved:rust/type-inference-blanket-non-satisfaction
hvitved:rust/type-inference-blanket-non-satisfaction
2m 31s
C#: Promote insecure cookie and httponly cookie queries Check framework coverage changes #29137: Pull request #20692 synchronize by joefarebrother
2m 37s joefarebrother:csharp-secure-cookie-promote
joefarebrother:csharp-secure-cookie-promote
2m 37s
Update diff-informed testing to always treat sources and sinks as alert locations Check framework coverage changes #29136: Pull request #20607 synchronize by d10c
3m 15s d10c:d10c/update-diff-informed-testing
d10c:d10c/update-diff-informed-testing
3m 15s
Rust: Restrict type propagation into arguments Check framework coverage changes #29135: Pull request #20683 synchronize by hvitved
2m 46s hvitved:rust/type-inference-arg-target-typed
hvitved:rust/type-inference-arg-target-typed
2m 46s
C#: Replace old Guards with the new shared implementation. Check framework coverage changes #29134: Pull request #20665 synchronize by aschackmull
3m 0s aschackmull:csharp/guards-replace
aschackmull:csharp/guards-replace
3m 0s
C#: Recognize assertions as guards Check framework coverage changes #29133: Pull request #20701 opened by aschackmull
8m 53s aschackmull:csharp/assertion-guards
aschackmull:csharp/assertion-guards
8m 53s
C#: Overlay extraction support. Check framework coverage changes #29132: Pull request #20425 synchronize by michaelnebel
3m 5s michaelnebel:csharp/basicextractoroverlay
michaelnebel:csharp/basicextractoroverlay
3m 5s
C#: Overlay extraction support. Check framework coverage changes #29131: Pull request #20425 synchronize by michaelnebel
3m 6s michaelnebel:csharp/basicextractoroverlay
michaelnebel:csharp/basicextractoroverlay
3m 6s
Java: Queries for thread-safe classes Check framework coverage changes #29130: Pull request #19539 synchronize by yoff
2m 45s yoff:java/conflicting-access
yoff:java/conflicting-access
2m 45s
C#: Overlay extraction support. Check framework coverage changes #29129: Pull request #20425 synchronize by michaelnebel
2m 46s michaelnebel:csharp/basicextractoroverlay
michaelnebel:csharp/basicextractoroverlay
2m 46s
JS: Add overlay annotations Check framework coverage changes #29128: Pull request #20424 synchronize by asgerf
2m 46s asgerf:js/overlay-manual-v4
asgerf:js/overlay-manual-v4
2m 46s
JS: Add compileForOverlayEval: true Check framework coverage changes #29127: Pull request #20421 synchronize by asgerf
2m 46s asgerf:js/compile-for-overlay-eval
asgerf:js/compile-for-overlay-eval
2m 46s
Rust: Restrict type propagation into arguments Check framework coverage changes #29126: Pull request #20683 synchronize by hvitved
2m 40s hvitved:rust/type-inference-arg-target-typed
hvitved:rust/type-inference-arg-target-typed
2m 40s
JS: Add compileForOverlayEval: true Check framework coverage changes #29125: Pull request #20421 synchronize by asgerf
2m 36s asgerf:js/compile-for-overlay-eval
asgerf:js/compile-for-overlay-eval
2m 36s
JS: Add compileForOverlayEval: true Check framework coverage changes #29124: Pull request #20421 synchronize by asgerf
2m 37s asgerf:js/compile-for-overlay-eval
asgerf:js/compile-for-overlay-eval
2m 37s
Java: Remove old SSA consistency queries. Check framework coverage changes #29123: Pull request #20700 synchronize by aschackmull
2m 41s aschackmull:java/delete-old-ssa-consistency
aschackmull:java/delete-old-ssa-consistency
2m 41s
ProTip! You can narrow down the results and go further in time using created:<2025-10-27 or the other filters available.