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,116 workflow run results
3,116 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

TS Extractor: NodeType and Expr String escaping C#: Run QL Tests #5584: Pull request #17720 synchronize by GeekMasher
October 11, 2024 15:39 5m 32s GeekMasher:ts-extractor-escaping
GeekMasher:ts-extractor-escaping
October 11, 2024 15:39 5m 32s
C#: Models for higher order methods. C#: Run QL Tests #5583: Pull request #17742 opened by michaelnebel
October 11, 2024 14:20 5m 6s michaelnebel:csharp/higherordermodels
michaelnebel:csharp/higherordermodels
October 11, 2024 14:20 5m 6s
Data flow: Prevent quadratic blowup in Stage6Param::localStep C#: Run QL Tests #5582: Pull request #17739 synchronize by hvitved
October 11, 2024 12:08 5m 14s hvitved:dataflow/big-step-quadratic
hvitved:dataflow/big-step-quadratic
October 11, 2024 12:08 5m 14s
Data flow: Prevent quadratic blowup in Stage6Param::localStep C#: Run QL Tests #5581: Pull request #17739 synchronize by hvitved
October 11, 2024 11:45 5m 4s hvitved:dataflow/big-step-quadratic
hvitved:dataflow/big-step-quadratic
October 11, 2024 11:45 5m 4s
Data flow: Prevent quadratic blowup in Stage6Param::localStep C#: Run QL Tests #5580: Pull request #17739 opened by hvitved
October 11, 2024 11:44 5m 18s hvitved:dataflow/big-step-quadratic
hvitved:dataflow/big-step-quadratic
October 11, 2024 11:44 5m 18s
TS Extractor: NodeType and Expr String escaping C#: Run QL Tests #5579: Pull request #17720 synchronize by GeekMasher
October 10, 2024 12:12 5m 18s GeekMasher:ts-extractor-escaping
GeekMasher:ts-extractor-escaping
October 10, 2024 12:12 5m 18s
Merge pull request #17658 from hvitved/shared/cfg-conditional-splitting C#: Run QL Tests #5578: Commit 4df9cd8 pushed by hvitved
October 10, 2024 11:21 5m 35s main
main
October 10, 2024 11:21 5m 35s
Rust: Implement UnusedValue.ql C#: Run QL Tests #5577: Pull request #17726 synchronize by hvitved
October 10, 2024 11:17 5m 28s hvitved:rust/unused-value
hvitved:rust/unused-value
October 10, 2024 11:17 5m 28s
Rust: Initial SSA implementation C#: Run QL Tests #5576: Pull request #17713 synchronize by hvitved
October 10, 2024 11:16 5m 25s hvitved:rust/ssa
hvitved:rust/ssa
October 10, 2024 11:16 5m 25s
Rust: Include parameters and patterns in the CFG C#: Run QL Tests #5575: Pull request #17686 synchronize by hvitved
October 10, 2024 11:15 5m 23s hvitved:rust/cfg-patterns
hvitved:rust/cfg-patterns
October 10, 2024 11:15 5m 23s
TS Extractor: NodeType and Expr String escaping C#: Run QL Tests #5574: Pull request #17720 synchronize by GeekMasher
October 10, 2024 09:50 5m 28s GeekMasher:ts-extractor-escaping
GeekMasher:ts-extractor-escaping
October 10, 2024 09:50 5m 28s
Rust: Initial SSA implementation C#: Run QL Tests #5573: Pull request #17713 synchronize by hvitved
October 10, 2024 08:05 5m 15s hvitved:rust/ssa
hvitved:rust/ssa
October 10, 2024 08:05 5m 15s
Rust: Include parameters and patterns in the CFG C#: Run QL Tests #5572: Pull request #17686 synchronize by hvitved
October 10, 2024 08:05 5m 8s hvitved:rust/cfg-patterns
hvitved:rust/cfg-patterns
October 10, 2024 08:05 5m 8s
Rust: Initial SSA implementation C#: Run QL Tests #5571: Pull request #17713 synchronize by hvitved
October 10, 2024 08:03 5m 24s hvitved:rust/ssa
hvitved:rust/ssa
October 10, 2024 08:03 5m 24s
Rust: Include parameters and patterns in the CFG C#: Run QL Tests #5570: Pull request #17686 synchronize by hvitved
October 10, 2024 08:01 5m 21s hvitved:rust/cfg-patterns
hvitved:rust/cfg-patterns
October 10, 2024 08:01 5m 21s
CFG: Add two more consistency checks C#: Run QL Tests #5569: Pull request #17724 opened by hvitved
October 10, 2024 07:10 5m 55s hvitved:cfg/first-last-succ-consistency
hvitved:cfg/first-last-succ-consistency
October 10, 2024 07:10 5m 55s
Rust: Initial SSA implementation C#: Run QL Tests #5568: Pull request #17713 synchronize by hvitved
October 9, 2024 19:18 5m 24s hvitved:rust/ssa
hvitved:rust/ssa
October 9, 2024 19:18 5m 24s
Rust: Initial SSA implementation C#: Run QL Tests #5567: Pull request #17713 synchronize by hvitved
October 9, 2024 18:39 5m 32s hvitved:rust/ssa
hvitved:rust/ssa
October 9, 2024 18:39 5m 32s
Rust: Initial SSA implementation C#: Run QL Tests #5566: Pull request #17713 synchronize by hvitved
October 9, 2024 18:20 5m 45s hvitved:rust/ssa
hvitved:rust/ssa
October 9, 2024 18:20 5m 45s
Rust: Include parameters and patterns in the CFG C#: Run QL Tests #5565: Pull request #17686 synchronize by hvitved
October 9, 2024 17:51 5m 20s hvitved:rust/cfg-patterns
hvitved:rust/cfg-patterns
October 9, 2024 17:51 5m 20s
Rust: Include parameters and patterns in the CFG C#: Run QL Tests #5564: Pull request #17686 synchronize by hvitved
October 9, 2024 17:45 5m 35s hvitved:rust/cfg-patterns
hvitved:rust/cfg-patterns
October 9, 2024 17:45 5m 35s
Merge pull request #17696 from hvitved/rust/captured-variables C#: Run QL Tests #5563: Commit 6a87eb0 pushed by hvitved
October 9, 2024 17:42 5m 43s main
main
October 9, 2024 17:42 5m 43s
TS Extractor: NodeType and Expr String escaping C#: Run QL Tests #5562: Pull request #17720 opened by GeekMasher
October 9, 2024 16:19 5m 31s GeekMasher:ts-extractor-escaping
GeekMasher:ts-extractor-escaping
October 9, 2024 16:19 5m 31s
Rust: Account for captured variables C#: Run QL Tests #5561: Pull request #17696 synchronize by hvitved
October 9, 2024 15:22 5m 49s hvitved:rust/captured-variables
hvitved:rust/captured-variables
October 9, 2024 15:22 5m 49s
Rust: Initial SSA implementation C#: Run QL Tests #5560: Pull request #17713 synchronize by hvitved
October 9, 2024 14:30 6m 9s hvitved:rust/ssa
hvitved:rust/ssa
October 9, 2024 14:30 6m 9s