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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Shared: Improve range analysis for phis at loop exits C#: Run QL Tests #8886: Pull request #21135 synchronize by MathiasVP
5m 23s MathiasVP:better-range-analysis-for-phis
MathiasVP:better-range-analysis-for-phis
5m 23s
Shared: Improve range analysis for phis at loop exits C#: Run QL Tests #8885: Pull request #21135 opened by MathiasVP
5m 59s MathiasVP:better-range-analysis-for-phis
MathiasVP:better-range-analysis-for-phis
5m 59s
Merge pull request #20987 from hvitved/rust/type-inference-deref-trait C#: Run QL Tests #8884: Commit 1a29b32 pushed by hvitved
6m 12s main
main
6m 12s
Rust: Handle Deref trait in type inference and data flow C#: Run QL Tests #8883: Pull request #20987 synchronize by hvitved
5m 37s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
5m 37s
Rust: Handle Deref trait in type inference and data flow C#: Run QL Tests #8882: Pull request #20987 synchronize by hvitved
5m 28s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
5m 28s
C#: Add support for MaD barriers and barrier guards. C#: Run QL Tests #8881: Pull request #21132 opened by aschackmull
5m 4s aschackmull:csharp/mad-barriers
aschackmull:csharp/mad-barriers
5m 4s
Rust: Improve/add various models C#: Run QL Tests #8880: Pull request #21123 synchronize by hvitved
5m 28s hvitved:rust/fix-path-models
hvitved:rust/fix-path-models
5m 28s
SSA: Improve performance of finding relevant phi input nodes. C#: Run QL Tests #8879: Pull request #21127 opened by aschackmull
6m 13s aschackmull:ssa/phi-input-perf
aschackmull:ssa/phi-input-perf
6m 13s
Rust: Improve/add various models C#: Run QL Tests #8878: Pull request #21123 synchronize by hvitved
5m 15s hvitved:rust/fix-path-models
hvitved:rust/fix-path-models
5m 15s
Rust: Improve/add various models C#: Run QL Tests #8877: Pull request #21123 synchronize by hvitved
5m 14s hvitved:rust/fix-path-models
hvitved:rust/fix-path-models
5m 14s
Shared: Make UniversalFlow overlay-aware. C#: Run QL Tests #8876: Pull request #20884 synchronize by aschackmull
5m 46s aschackmull:java/overlay-universalflow
aschackmull:java/overlay-universalflow
5m 46s
Rust: Improve/add various models C#: Run QL Tests #8875: Pull request #21123 opened by hvitved
5m 24s hvitved:rust/fix-path-models
hvitved:rust/fix-path-models
5m 24s
Rust: Also lift read steps in summaries as taint steps C#: Run QL Tests #8874: Pull request #21122 synchronize by hvitved
5m 40s hvitved:rust/summary-read-taint-step
hvitved:rust/summary-read-taint-step
5m 40s
Rust: Also lift read steps in summaries as taint steps C#: Run QL Tests #8873: Pull request #21122 opened by hvitved
5m 39s hvitved:rust/summary-read-taint-step
hvitved:rust/summary-read-taint-step
5m 39s
Kotlin: Support Kotlin 2.3.0-Beta2 C#: Run QL Tests #8872: Pull request #20965 synchronize by andersfugmann
5m 25s andersfugmann/kotlin_2.3.0-beta2
andersfugmann/kotlin_2.3.0-beta2
5m 25s
Merge pull request #21119 from github/redsun82/cmake C#: Run QL Tests #8871: Commit 22b88ae pushed by redsun82
5m 21s main
main
5m 21s
Cmake: fix bazel not generating files for the cmake generator C#: Run QL Tests #8870: Pull request #21119 opened by redsun82
5m 33s redsun82/cmake
redsun82/cmake
5m 33s
C# 14: Null conditional assignment. C#: Run QL Tests #8869: Pull request #21118 opened by michaelnebel
5m 25s michaelnebel:csharp14/nullconditionalassignment
michaelnebel:csharp14/nullconditionalassignment
5m 25s
Rust: Handle Deref trait in type inference and data flow C#: Run QL Tests #8868: Pull request #20987 synchronize by hvitved
5m 21s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
5m 21s
Merge pull request #21065 from michaelnebel/csharp/implicitspanconver… C#: Run QL Tests #8867: Commit 7ed3d3f pushed by michaelnebel
5m 19s main
main
5m 19s
Kotlin: Support Kotlin 2.3.0-Beta2 C#: Run QL Tests #8866: Pull request #20965 synchronize by andersfugmann
5m 34s andersfugmann/kotlin_2.3.0-beta2
andersfugmann/kotlin_2.3.0-beta2
5m 34s
Rust: Handle Deref trait in type inference and data flow C#: Run QL Tests #8865: Pull request #20987 synchronize by hvitved
5m 34s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
5m 34s
Rust: Handle Deref trait in type inference and data flow C#: Run QL Tests #8864: Pull request #20987 synchronize by hvitved
5m 31s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
5m 31s
Kotlin: Support Kotlin 2.3.0-Beta2 C#: Run QL Tests #8863: Pull request #20965 synchronize by andersfugmann
5m 13s andersfugmann/kotlin_2.3.0-beta2
andersfugmann/kotlin_2.3.0-beta2
5m 13s
Kotlin: Support Kotlin 2.3.0-Beta2 C#: Run QL Tests #8862: Pull request #20965 synchronize by andersfugmann
5m 33s andersfugmann/kotlin_2.3.0-beta2
andersfugmann/kotlin_2.3.0-beta2
5m 33s