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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

C#: Remove some unbounded TC computations C#: Run QL Tests #9257: Pull request #21348 synchronize by hvitved
6m 14s hvitved:csharp/remove-tcs
hvitved:csharp/remove-tcs
6m 14s
Merge pull request #21410 from MathiasVP/add-WebSocket-ReceiveAsync-m… C#: Run QL Tests #9256: Commit 5b30e94 pushed by MathiasVP
5m 58s main
main
5m 58s
Inline expectation tests should always have space before and after $ C#: Run QL Tests #9255: Pull request #21405 synchronize by owen-mc
5m 42s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
5m 42s
Inline expectation tests should always have space before and after $ C#: Run QL Tests #9254: Pull request #21405 synchronize by owen-mc
5m 39s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
5m 39s
Inline expectation tests should always have space before and after $ C#: Run QL Tests #9253: Pull request #21405 synchronize by owen-mc
5m 37s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
5m 37s
Data flow: Add FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext) flow feature C#: Run QL Tests #9252: Pull request #21404 synchronize by hvitved
5m 26s hvitved:dataflow/no-enclosing-stack-flow-feature
hvitved:dataflow/no-enclosing-stack-flow-feature
5m 26s
Data flow: Add FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext) flow feature C#: Run QL Tests #9251: Pull request #21404 synchronize by hvitved
5m 51s hvitved:dataflow/no-enclosing-stack-flow-feature
hvitved:dataflow/no-enclosing-stack-flow-feature
5m 51s
Rust: Unify call resolution logic C#: Run QL Tests #9250: Pull request #21355 synchronize by hvitved
5m 23s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
5m 23s
Rust: Unify call resolution logic C#: Run QL Tests #9249: Pull request #21355 synchronize by hvitved
5m 26s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
5m 26s
Inline expectation tests should always have space before and after $ C#: Run QL Tests #9248: Pull request #21405 synchronize by owen-mc
5m 33s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
5m 33s
C#: Add System.Net.WebSockets.ReceiveAsync as a remote flow source C#: Run QL Tests #9247: Pull request #21410 synchronize by MathiasVP
5m 18s MathiasVP:add-WebSocket-ReceiveAsync-model
MathiasVP:add-WebSocket-ReceiveAsync-model
5m 18s
Inline expectation tests should always have space before and after $ C#: Run QL Tests #9246: Pull request #21405 synchronize by owen-mc
5m 23s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
5m 23s
C#: Add System.Net.WebSockets.ReceiveAsync as a remote flow source C#: Run QL Tests #9245: Pull request #21410 synchronize by MathiasVP
6m 10s MathiasVP:add-WebSocket-ReceiveAsync-model
MathiasVP:add-WebSocket-ReceiveAsync-model
6m 10s
C#: Add System.Net.WebSockets.ReceiveAsync as a remote flow source C#: Run QL Tests #9244: Pull request #21410 opened by MathiasVP
5m 33s MathiasVP:add-WebSocket-ReceiveAsync-model
MathiasVP:add-WebSocket-ReceiveAsync-model
5m 33s
Inline expectation tests should always have space before and after $ C#: Run QL Tests #9243: Pull request #21405 synchronize by owen-mc
5m 45s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
5m 45s
Inline expectation tests should always have space before and after $ C#: Run QL Tests #9242: Pull request #21405 synchronize by owen-mc
5m 21s owen-mc:java/consistent-inline-expectation-tests
owen-mc:java/consistent-inline-expectation-tests
5m 21s
Merge pull request #21400 from michaelnebel/csharp/implicitconversion… C#: Run QL Tests #9241: Commit 219ea28 pushed by michaelnebel
5m 30s main
main
5m 30s
C#: Add default taint step from an implicit operator call to its argument. C#: Run QL Tests #9240: Pull request #21400 synchronize by michaelnebel
5m 26s michaelnebel:csharp/implicitconversionreverseflowtaint
michaelnebel:csharp/implicitconversionreverseflowtaint
5m 26s
Rust: Unify call resolution logic C#: Run QL Tests #9239: Pull request #21355 synchronize by hvitved
5m 18s hvitved:rust/type-inference-unify
hvitved:rust/type-inference-unify
5m 18s
C#: Remove some unbounded TC computations C#: Run QL Tests #9238: Pull request #21348 synchronize by hvitved
6m 54s hvitved:csharp/remove-tcs
hvitved:csharp/remove-tcs
6m 54s
Merge pull request #21403 from aschackmull/cfg/tweaks C#: Run QL Tests #9237: Commit 2782d90 pushed by aschackmull
5m 23s main
main
5m 23s
Guards: Improve performance of forall in guardDeterminesPhiInput. C#: Run QL Tests #9236: Pull request #21408 opened by aschackmull
6m 58s aschackmull:guards/perf-tweak
aschackmull:guards/perf-tweak
6m 58s
Data flow: Add FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext) flow feature C#: Run QL Tests #9235: Pull request #21404 synchronize by hvitved
5m 46s hvitved:dataflow/no-enclosing-stack-flow-feature
hvitved:dataflow/no-enclosing-stack-flow-feature
5m 46s
Data flow: Add FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext) flow feature C#: Run QL Tests #9234: Pull request #21404 synchronize by hvitved
5m 25s hvitved:dataflow/no-enclosing-stack-flow-feature
hvitved:dataflow/no-enclosing-stack-flow-feature
5m 25s
Data flow: Add FeatureEscapesSourceCallContext(OrEqualSourceSinkCallContext) flow feature C#: Run QL Tests #9233: Pull request #21404 synchronize by hvitved
5m 30s hvitved:dataflow/no-enclosing-stack-flow-feature
hvitved:dataflow/no-enclosing-stack-flow-feature
5m 30s