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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Go: sanitize simple types in go/request-forgery Check framework coverage changes #28915: Pull request #20613 opened by owen-mc
2m 52s owen-mc:go/sanitize-simpletypes-request-forgery
owen-mc:go/sanitize-simpletypes-request-forgery
2m 52s
Rust: Compute incompatible blanket implementations Check framework coverage changes #28914: Pull request #20612 opened by hvitved
2m 31s hvitved:rust/type-inference-blanket-non-satisfaction
hvitved:rust/type-inference-blanket-non-satisfaction
2m 31s
Java: Queries for thread-safe classes Check framework coverage changes #28913: Pull request #19539 synchronize by yoff
2m 25s yoff:java/conflicting-access
yoff:java/conflicting-access
2m 25s
Java: Queries for thread-safe classes Check framework coverage changes #28912: Pull request #19539 synchronize by yoff
2m 36s yoff:java/conflicting-access
yoff:java/conflicting-access
2m 36s
Java: Queries for thread-safe classes Check framework coverage changes #28911: Pull request #19539 synchronize by yoff
3m 14s yoff:java/conflicting-access
yoff:java/conflicting-access
3m 14s
Java: Queries for thread-safe classes Check framework coverage changes #28910: Pull request #19539 synchronize by yoff
2m 23s yoff:java/conflicting-access
yoff:java/conflicting-access
2m 23s
Crypto: Add Java Cryptographic Analysis Queries Check framework coverage changes #28909: Pull request #20605 synchronize by bdrodes
2m 38s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 38s
Crypto: Add Java Cryptographic Analysis Queries Check framework coverage changes #28908: Pull request #20605 synchronize by bdrodes
2m 35s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 35s
Crypto: Add Java Cryptographic Analysis Queries Check framework coverage changes #28907: Pull request #20605 synchronize by bdrodes
2m 36s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 36s
Crypto: Add Java Cryptographic Analysis Queries Check framework coverage changes #28906: Pull request #20605 synchronize by bdrodes
2m 35s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 35s
Crypto: Add Java Cryptographic Analysis Queries Check framework coverage changes #28905: Pull request #20605 synchronize by bdrodes
2m 39s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 39s
Crypto: Add Java Cryptographic Analysis Queries Check framework coverage changes #28904: Pull request #20605 synchronize by bdrodes
2m 38s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 38s
Update diff-informed testing to always treat sources and sinks as alert locations Check framework coverage changes #28903: Pull request #20607 opened by d10c
2m 34s d10c:d10c/update-diff-informed-testing
d10c:d10c/update-diff-informed-testing
2m 34s
Crypto: Add Java Cryptographic Analysis Queries Check framework coverage changes #28902: Pull request #20605 synchronize by bdrodes
2m 34s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 34s
Crypto: Add Java Cryptographic Analysis Queries Check framework coverage changes #28901: Pull request #20605 opened by bdrodes
2m 36s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
2m 36s
Java: Fix bug in ConstantExpAppearsNonConstant. Check framework coverage changes #28900: Pull request #20600 opened by aschackmull
2m 27s aschackmull:java/constant-exp-fix
aschackmull:java/constant-exp-fix
2m 27s
Rust: Non-symmetric type propagation for lub coercions Check framework coverage changes #28899: Pull request #20592 synchronize by hvitved
2m 31s hvitved:rust/type-inference-branch-propagation
hvitved:rust/type-inference-branch-propagation
2m 31s
Rust: Non-symmetric type propagation for lub coercions Check framework coverage changes #28898: Pull request #20592 synchronize by hvitved
2m 33s hvitved:rust/type-inference-branch-propagation
hvitved:rust/type-inference-branch-propagation
2m 33s
Rust: Rework call resolution and type inference for calls Check framework coverage changes #28897: Pull request #20282 synchronize by hvitved
2m 33s hvitved:rust/type-inference-method-call-resolution-rework
hvitved:rust/type-inference-method-call-resolution-rework
2m 33s
Java: Make some query libraries local. Check framework coverage changes #28896: Pull request #20598 opened by alexet
2m 29s alexet/overlay-query-libraries
alexet/overlay-query-libraries
2m 29s
Dataflow: Overlay informed dataflow. Check framework coverage changes #28895: Pull request #20386 synchronize by alexet
3m 3s alexet/overlay-informed-dataflow
alexet/overlay-informed-dataflow
3m 3s
Rust: Non-symmetric type propagation for lub coercions Check framework coverage changes #28894: Pull request #20592 opened by hvitved
2m 26s hvitved:rust/type-inference-branch-propagation
hvitved:rust/type-inference-branch-propagation
2m 26s
C#: Reduce location tuple extraction for named types. Check framework coverage changes #28893: Pull request #20581 synchronize by michaelnebel
3m 0s michaelnebel:csharp/reducetyplocationtuples
michaelnebel:csharp/reducetyplocationtuples
3m 0s
Java: Allow taint-read-steps for array sources. Check framework coverage changes #28892: Pull request #20589 synchronize by aschackmull
2m 43s aschackmull:java/array-entrypoint-read-taint
aschackmull:java/array-entrypoint-read-taint
2m 43s
Python: enable overlay compilation + extractor overlay support Check framework coverage changes #28891: Pull request #20337 synchronize by d10c
2m 29s d10c:d10c/python-overlay-compilation-plus-extractor
d10c:d10c/python-overlay-compilation-plus-extractor
2m 29s
ProTip! You can narrow down the results and go further in time using created:<2025-10-07 or the other filters available.