Skip to content

Actions: github/codeql

Actions

C#: Run QL Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
csharp-qltest.yml
3,068 workflow runs
3,068 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

C#: Add neutral model for System.ComponentModel.PropertyDescriptor.GetValue C#: Run QL Tests #8253: Pull request #20627 opened by hvitved
5m 23s hvitved:csharp/property-descriptor-get-value-neutral
hvitved:csharp/property-descriptor-get-value-neutral
5m 23s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8252: Pull request #20605 synchronize by bdrodes
5m 47s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
5m 47s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8251: Pull request #20605 synchronize by bdrodes
5m 13s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
5m 13s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8250: Pull request #20605 synchronize by bdrodes
5m 35s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
5m 35s
C#: Improve log messages in DotNetCliInvoker C#: Run QL Tests #8249: Pull request #20625 opened by mbg
16m 1s mbg/csharp/proxy-log-messages
mbg/csharp/proxy-log-messages
16m 1s
C#: * on Source locations in BMN. C#: Run QL Tests #8248: Pull request #20555 synchronize by michaelnebel
5m 37s michaelnebel:csharp/staridlocationsbuildless
michaelnebel:csharp/staridlocationsbuildless
5m 37s
Rust: Compute incompatible blanket implementations C#: Run QL Tests #8247: Pull request #20612 synchronize by hvitved
5m 36s hvitved:rust/type-inference-blanket-non-satisfaction
hvitved:rust/type-inference-blanket-non-satisfaction
5m 36s
Rust: Non-symmetric type propagation for lub coercions C#: Run QL Tests #8246: Pull request #20592 synchronize by hvitved
5m 22s hvitved:rust/type-inference-branch-propagation
hvitved:rust/type-inference-branch-propagation
5m 22s
Rust: Non-symmetric type propagation for lub coercions C#: Run QL Tests #8245: Pull request #20592 synchronize by hvitved
5m 31s hvitved:rust/type-inference-branch-propagation
hvitved:rust/type-inference-branch-propagation
5m 31s
C#: * ID source locations. C#: Run QL Tests #8244: Pull request #20582 synchronize by michaelnebel
5m 26s michaelnebel:csharp/staridlocations
michaelnebel:csharp/staridlocations
5m 26s
Merge pull request #20617 from michaelnebel/csharp/unboundlocations C#: Run QL Tests #8243: Commit ab9f78f pushed by michaelnebel
5m 25s main
main
5m 25s
Rust: Compute incompatible blanket implementations C#: Run QL Tests #8242: Pull request #20612 synchronize by hvitved
5m 32s hvitved:rust/type-inference-blanket-non-satisfaction
hvitved:rust/type-inference-blanket-non-satisfaction
5m 32s
Rust: Non-symmetric type propagation for lub coercions C#: Run QL Tests #8241: Pull request #20592 synchronize by hvitved
7m 47s hvitved:rust/type-inference-branch-propagation
hvitved:rust/type-inference-branch-propagation
7m 47s
Rust: Rework call resolution and type inference for calls C#: Run QL Tests #8240: Pull request #20282 synchronize by hvitved
5m 24s hvitved:rust/type-inference-method-call-resolution-rework
hvitved:rust/type-inference-method-call-resolution-rework
5m 24s
C#: * ID source locations. C#: Run QL Tests #8239: Pull request #20582 synchronize by michaelnebel
5m 22s michaelnebel:csharp/staridlocations
michaelnebel:csharp/staridlocations
5m 22s
C#: Reduce location TRAP creation for Fields, Parameters, Constructors, Destructors and Operators. C#: Run QL Tests #8238: Pull request #20617 synchronize by michaelnebel
5m 23s michaelnebel:csharp/unboundlocations
michaelnebel:csharp/unboundlocations
5m 23s
Rust: Non-symmetric type propagation for lub coercions C#: Run QL Tests #8237: Pull request #20592 synchronize by hvitved
5m 42s hvitved:rust/type-inference-branch-propagation
hvitved:rust/type-inference-branch-propagation
5m 42s
Rust: Rework call resolution and type inference for calls C#: Run QL Tests #8236: Pull request #20282 synchronize by hvitved
5m 34s hvitved:rust/type-inference-method-call-resolution-rework
hvitved:rust/type-inference-method-call-resolution-rework
5m 34s
C#: Reduce location TRAP creation for Fields, Parameters, Constructors, Destructors and Operators. C#: Run QL Tests #8235: Pull request #20617 opened by michaelnebel
12m 29s michaelnebel:csharp/unboundlocations
michaelnebel:csharp/unboundlocations
12m 29s
C#: * on Source locations in BMN. C#: Run QL Tests #8234: Pull request #20555 synchronize by michaelnebel
5m 41s michaelnebel:csharp/staridlocationsbuildless
michaelnebel:csharp/staridlocationsbuildless
5m 41s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8233: Pull request #20605 synchronize by bdrodes
5m 49s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
5m 49s
Update diff-informed testing to always treat sources and sinks as alert locations C#: Run QL Tests #8232: Pull request #20607 synchronize by d10c
5m 28s d10c:d10c/update-diff-informed-testing
d10c:d10c/update-diff-informed-testing
5m 28s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8231: Pull request #20605 synchronize by bdrodes
5m 17s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
5m 17s
Update diff-informed testing to always treat sources and sinks as alert locations C#: Run QL Tests #8230: Pull request #20607 synchronize by d10c
5m 30s d10c:d10c/update-diff-informed-testing
d10c:d10c/update-diff-informed-testing
5m 30s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8229: Pull request #20605 synchronize by bdrodes
5m 21s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
5m 21s
ProTip! You can narrow down the results and go further in time using created:<2025-10-09 or the other filters available.