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,074 workflow runs
3,074 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
C#: * on Source locations in BMN. C#: Run QL Tests #8228: Pull request #20555 synchronize by michaelnebel
5m 14s michaelnebel:csharp/staridlocationsbuildless
michaelnebel:csharp/staridlocationsbuildless
5m 14s
Data flow: Add various debug predicates C#: Run QL Tests #8227: Pull request #20614 opened by hvitved
5m 24s hvitved:dataflow/debug-predicates
hvitved:dataflow/debug-predicates
5m 24s
C#: * on Source locations in BMN. C#: Run QL Tests #8226: Pull request #20555 synchronize by michaelnebel
5m 33s michaelnebel:csharp/staridlocationsbuildless
michaelnebel:csharp/staridlocationsbuildless
5m 33s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8225: Pull request #20605 synchronize by nicolaswill
5m 40s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
5m 40s
Rust: Compute incompatible blanket implementations C#: Run QL Tests #8224: Pull request #20612 opened by hvitved
5m 20s hvitved:rust/type-inference-blanket-non-satisfaction
hvitved:rust/type-inference-blanket-non-satisfaction
5m 20s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8223: Pull request #20605 synchronize by bdrodes
5m 55s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
5m 55s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8222: Pull request #20605 synchronize by bdrodes
5m 38s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
5m 38s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8221: Pull request #20605 synchronize by bdrodes
8m 2s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
8m 2s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8220: Pull request #20605 synchronize by bdrodes
5m 31s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
5m 31s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8219: Pull request #20605 synchronize by bdrodes
5m 22s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
5m 22s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8218: Pull request #20605 synchronize by bdrodes
5m 58s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
5m 58s
Update diff-informed testing to always treat sources and sinks as alert locations C#: Run QL Tests #8217: Pull request #20607 opened by d10c
5m 42s d10c:d10c/update-diff-informed-testing
d10c:d10c/update-diff-informed-testing
5m 42s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8216: Pull request #20605 synchronize by bdrodes
6m 57s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
6m 57s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8215: Pull request #20605 opened by bdrodes
6m 57s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
6m 57s
C#: * on Source locations in BMN. C#: Run QL Tests #8214: Pull request #20555 synchronize by michaelnebel
5m 14s michaelnebel:csharp/staridlocationsbuildless
michaelnebel:csharp/staridlocationsbuildless
5m 14s
C#: Only use source locations from context. C#: Run QL Tests #8213: Pull request #20602 opened by michaelnebel
5m 43s michaelnebel:csharp/parameterlocations
michaelnebel:csharp/parameterlocations
5m 43s
Merge pull request #20593 from michaelnebel/csharp/reducetypeparamete… C#: Run QL Tests #8212: Commit 4cc6a07 pushed by michaelnebel
5m 20s main
main
5m 20s
Rust: Non-symmetric type propagation for lub coercions C#: Run QL Tests #8211: Pull request #20592 synchronize by hvitved
5m 38s hvitved:rust/type-inference-branch-propagation
hvitved:rust/type-inference-branch-propagation
5m 38s
C#: Reduce Type Parameter- and Tuple type location extraction. C#: Run QL Tests #8210: Pull request #20593 synchronize by michaelnebel
6m 11s michaelnebel:csharp/reducetypeparameterandtuplelocations
michaelnebel:csharp/reducetypeparameterandtuplelocations
6m 11s
ProTip! You can narrow down the results and go further in time using created:<2025-10-08 or the other filters available.