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

Shared/Java: Rename ControlFlowReachability library. C#: Run QL Tests #8353: Pull request #20678 opened by aschackmull
6m 9s aschackmull:shared/rename-cfg-reach
aschackmull:shared/rename-cfg-reach
6m 9s
C#: Delete exception splitting. C#: Run QL Tests #8352: Pull request #20677 opened by aschackmull
5m 29s aschackmull:csharp/disable-exc-split
aschackmull:csharp/disable-exc-split
5m 29s
Merge pull request #20558 from aschackmull/csharp/guards3 C#: Run QL Tests #8351: Commit 8a3f62b pushed by aschackmull
5m 32s main
main
5m 32s
Merge pull request #20605 from bdrodes/santander-java-crypto-check C#: Run QL Tests #8350: Commit c7ef8a5 pushed by nicolaswill
5m 20s main
main
5m 20s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8349: Pull request #20605 synchronize by bdrodes
5m 29s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
5m 29s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8348: Pull request #20605 synchronize by bdrodes
8m 28s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
8m 28s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8347: 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 #8346: Pull request #20605 synchronize by bdrodes
5m 30s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
5m 30s
Merge pull request #20282 from hvitved/rust/type-inference-method-cal… C#: Run QL Tests #8345: Commit 7d0509b pushed by hvitved
5m 35s main
main
5m 35s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8344: Pull request #20605 synchronize by bdrodes
5m 6s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
5m 6s
Crypto: Add Java Cryptographic Analysis Queries C#: Run QL Tests #8343: Pull request #20605 synchronize by bdrodes
6m 17s bdrodes:santander-java-crypto-check
bdrodes:santander-java-crypto-check
6m 17s
C#: Instantiate shared Guards and shared ControlFlowReachability and replace nullness C#: Run QL Tests #8342: Pull request #20558 synchronize by aschackmull
5m 36s aschackmull:csharp/guards3
aschackmull:csharp/guards3
5m 36s
Merge pull request #20663 from michaelnebel/csharp/dotnet10rc2traced C#: Run QL Tests #8341: Commit 83343e1 pushed by michaelnebel
5m 25s main
main
5m 25s
Rust: Rework call resolution and type inference for calls C#: Run QL Tests #8340: Pull request #20282 synchronize by hvitved
5m 47s hvitved:rust/type-inference-method-call-resolution-rework
hvitved:rust/type-inference-method-call-resolution-rework
5m 47s
Rust: Compute incompatible blanket implementations C#: Run QL Tests #8339: Pull request #20612 synchronize by hvitved
5m 32s hvitved:rust/type-inference-blanket-non-satisfaction
hvitved:rust/type-inference-blanket-non-satisfaction
5m 32s
C#: Tracer support for invoking csc directly. C#: Run QL Tests #8338: Pull request #20663 synchronize by michaelnebel
5m 26s michaelnebel:csharp/dotnet10rc2traced
michaelnebel:csharp/dotnet10rc2traced
5m 26s
C#: Tracer support for invoking csc directly. C#: Run QL Tests #8337: Pull request #20663 synchronize by michaelnebel
5m 20s michaelnebel:csharp/dotnet10rc2traced
michaelnebel:csharp/dotnet10rc2traced
5m 20s
Rust: Non-symmetric type propagation for lub coercions C#: Run QL Tests #8336: Pull request #20592 synchronize by hvitved
5m 57s hvitved:rust/type-inference-branch-propagation
hvitved:rust/type-inference-branch-propagation
5m 57s
C#: Overlay extraction support. C#: Run QL Tests #8335: Pull request #20425 synchronize by michaelnebel
6m 22s michaelnebel:csharp/basicextractoroverlay
michaelnebel:csharp/basicextractoroverlay
6m 22s
Merge pull request #20555 from michaelnebel/csharp/staridlocationsbui… C#: Run QL Tests #8334: Commit 6a02649 pushed by michaelnebel
5m 15s main
main
5m 15s
C#: Tracer support for invoking csc directly. C#: Run QL Tests #8333: Pull request #20663 synchronize by michaelnebel
5m 24s michaelnebel:csharp/dotnet10rc2traced
michaelnebel:csharp/dotnet10rc2traced
5m 24s
C#: Tracer support for invoking csc directly. C#: Run QL Tests #8332: Pull request #20663 synchronize by michaelnebel
5m 24s michaelnebel:csharp/dotnet10rc2traced
michaelnebel:csharp/dotnet10rc2traced
5m 24s
Rust: Rework call resolution and type inference for calls C#: Run QL Tests #8331: Pull request #20282 synchronize by hvitved
5m 31s hvitved:rust/type-inference-method-call-resolution-rework
hvitved:rust/type-inference-method-call-resolution-rework
5m 31s
C#: Instantiate shared Guards and shared ControlFlowReachability and replace nullness C#: Run QL Tests #8330: Pull request #20558 synchronize by aschackmull
6m 26s aschackmull:csharp/guards3
aschackmull:csharp/guards3
6m 26s
Go: promote go/weak-crypto-algorithm C#: Run QL Tests #8329: Pull request #20666 synchronize by owen-mc
5m 51s owen-mc:go/promote-weak-crypto-algorithm
owen-mc:go/promote-weak-crypto-algorithm
5m 51s
ProTip! You can narrow down the results and go further in time using created:<2025-10-21 or the other filters available.