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,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
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
Rust: Non-symmetric type propagation for lub coercions C#: Run QL Tests #8209: Pull request #20592 synchronize by hvitved
5m 19s hvitved:rust/type-inference-branch-propagation
hvitved:rust/type-inference-branch-propagation
5m 19s
Rust: Rework call resolution and type inference for calls C#: Run QL Tests #8208: Pull request #20282 synchronize by hvitved
5m 36s hvitved:rust/type-inference-method-call-resolution-rework
hvitved:rust/type-inference-method-call-resolution-rework
5m 36s
Merge pull request #20386 from github/alexet/overlay-informed-dataflow C#: Run QL Tests #8207: Commit 825d370 pushed by alexet
5m 34s main
main
5m 34s
Dataflow: Overlay informed dataflow. C#: Run QL Tests #8206: Pull request #20386 synchronize by alexet
5m 35s alexet/overlay-informed-dataflow
alexet/overlay-informed-dataflow
5m 35s
C#: Reduce Type Parameter- and Tuple type location extraction. C#: Run QL Tests #8205: Pull request #20593 opened by michaelnebel
5m 27s michaelnebel:csharp/reducetypeparameterandtuplelocations
michaelnebel:csharp/reducetypeparameterandtuplelocations
5m 27s
C#: * on Source locations in BMN. C#: Run QL Tests #8204: Pull request #20555 synchronize by michaelnebel
5m 24s michaelnebel:csharp/staridlocationsbuildless
michaelnebel:csharp/staridlocationsbuildless
5m 24s
Rust: Non-symmetric type propagation for lub coercions C#: Run QL Tests #8203: Pull request #20592 opened by hvitved
5m 24s hvitved:rust/type-inference-branch-propagation
hvitved:rust/type-inference-branch-propagation
5m 24s
Merge pull request #20581 from michaelnebel/csharp/reducetyplocationt… C#: Run QL Tests #8202: Commit ea4d475 pushed by michaelnebel
5m 39s main
main
5m 39s
C#: Reduce location tuple extraction for named types. C#: Run QL Tests #8201: Pull request #20581 synchronize by michaelnebel
5m 7s michaelnebel:csharp/reducetyplocationtuples
michaelnebel:csharp/reducetyplocationtuples
5m 7s
Merge pull request #20591 from owen-mc/shared/update-inline-expectati… C#: Run QL Tests #8200: Commit b0c8fcd pushed by owen-mc
5m 19s main
main
5m 19s
ProTip! You can narrow down the results and go further in time using created:<2025-10-07 or the other filters available.