Skip to content

Actions: github/codeql

Actions

C#: Run QL Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
csharp-qltest.yml
2,081 workflow run results
2,081 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8260: Pull request #20605 synchronize by bdrodes
5m 18s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
5m 18s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8259: Pull request #20605 synchronize by bdrodes
5m 17s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
5m 17s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8258: Pull request #20605 synchronize by bdrodes
5m 52s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
5m 52s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8257: Pull request #20605 synchronize by bdrodes
6m 38s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
6m 38s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8256: Pull request #20605 synchronize by bdrodes
5m 34s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
5m 34s
Merge pull request #20579 from aschackmull/shared/rangeanalysis-joino… C#: Run QL Tests #8255: Commit b57243e pushed by MathiasVP
5m 28s main
main
5m 28s
C#: Add neutral model for System.ComponentModel.PropertyDescriptor.GetValue C#: Run QL Tests #8254: Pull request #20627 synchronize by hvitved
5m 26s hvitved:csharp/property-descriptor-get-value-neutral
hvitved:csharp/property-descriptor-get-value-neutral
5m 26s
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