Skip to content

Actions: github/codeql

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.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: Replace recursion through forall with ranked recursion Rust #5563: Pull request #21679 synchronize by hvitved
2m 45s hvitved:rust/type-inference-forall-checks
hvitved:rust/type-inference-forall-checks
2m 45s
Rust: Replace recursion through forall with ranked recursion Rust #5562: Pull request #21679 synchronize by hvitved
3m 0s hvitved:rust/type-inference-forall-checks
hvitved:rust/type-inference-forall-checks
3m 0s
Rust: Replace recursion through forall with ranked recursion Rust #5561: Pull request #21679 synchronize by hvitved
2m 51s hvitved:rust/type-inference-forall-checks
hvitved:rust/type-inference-forall-checks
2m 51s
C#: Replace CFG with the shared implementation Rust #5560: Pull request #21565 synchronize by aschackmull
2m 54s aschackmull:csharp/cfg2
aschackmull:csharp/cfg2
2m 54s
Rust: Fix performance issue with additionalExternalFile Rust #5559: Pull request #21671 synchronize by geoffw0
2m 48s geoffw0:neutralperf
geoffw0:neutralperf
2m 48s
Rust: Replace recursion through forall with ranked recursion Rust #5558: Pull request #21679 synchronize by hvitved
2m 50s hvitved:rust/type-inference-forall-checks
hvitved:rust/type-inference-forall-checks
2m 50s
Rust: Replace recursion through forall with ranked recursion Rust #5557: Pull request #21679 synchronize by hvitved
2m 44s hvitved:rust/type-inference-forall-checks
hvitved:rust/type-inference-forall-checks
2m 44s
C#: Replace CFG with the shared implementation Rust #5556: Pull request #21565 synchronize by aschackmull
2m 50s aschackmull:csharp/cfg2
aschackmull:csharp/cfg2
2m 50s
Rust: Replace recursion through forall with ranked recursion Rust #5555: Pull request #21679 opened by hvitved
2m 38s hvitved:rust/type-inference-forall-checks
hvitved:rust/type-inference-forall-checks
2m 38s
Data flow: Add hook for preventing lambda dispatch in source call contexts Rust #5554: Pull request #21592 synchronize by hvitved
2m 50s hvitved:dataflow/source-call-context-type-flow
hvitved:dataflow/source-call-context-type-flow
2m 50s
Bump gazelle from 0.47.0 to 0.50.0 Rust #5553: Pull request #21677 opened by dependabot Bot
2m 46s dependabot/bazel/gazelle-0.50.0
dependabot/bazel/gazelle-0.50.0
2m 46s
Bump buildifier_prebuilt from 6.4.0 to 8.5.1.2 Rust #5552: Pull request #21676 opened by dependabot Bot
2m 48s dependabot/bazel/buildifier_prebuilt-8.5.1.2
dependabot/bazel/buildifier_prebuilt-8.5.1.2
2m 48s
Rust: Fix performance issue with additionalExternalFile Rust #5551: Pull request #21671 opened by geoffw0
2m 57s geoffw0:neutralperf
geoffw0:neutralperf
2m 57s
Rust: Fix performance issue associated with neutral models Rust #5550: Pull request #21587 synchronize by geoffw0
2m 49s geoffw0:neutralperf
geoffw0:neutralperf
2m 49s
C#: Replace CFG with the shared implementation Rust #5549: Pull request #21565 synchronize by aschackmull
2m 48s aschackmull:csharp/cfg2
aschackmull:csharp/cfg2
2m 48s
C#: Replace CFG with the shared implementation Rust #5548: Pull request #21565 synchronize by aschackmull
2m 46s aschackmull:csharp/cfg2
aschackmull:csharp/cfg2
2m 46s
C#: Replace CFG with the shared implementation Rust #5547: Pull request #21565 synchronize by aschackmull
2m 47s aschackmull:csharp/cfg2
aschackmull:csharp/cfg2
2m 47s
Rust: Track closure types in data flow Rust #5546: Pull request #21596 synchronize by hvitved
2m 55s hvitved:rust/data-flow-closure-type
hvitved:rust/data-flow-closure-type
2m 55s
Rust: Fix performance issue associated with neutral models Rust #5545: Pull request #21587 synchronize by geoffw0
2m 56s geoffw0:neutralperf
geoffw0:neutralperf
2m 56s
Rust: Track closure types in data flow Rust #5544: Pull request #21596 synchronize by hvitved
2m 56s hvitved:rust/data-flow-closure-type
hvitved:rust/data-flow-closure-type
2m 56s
C#: Replace CFG with the shared implementation Rust #5543: Pull request #21565 synchronize by aschackmull
2m 51s aschackmull:csharp/cfg2
aschackmull:csharp/cfg2
2m 51s
C#: Replace CFG with the shared implementation Rust #5542: Pull request #21565 synchronize by aschackmull
2m 57s aschackmull:csharp/cfg2
aschackmull:csharp/cfg2
2m 57s
Dataflow: Expose stage 1's fwdFlow Rust #5541: Pull request #21631 synchronize by MathiasVP
2m 47s MathiasVP:expose-fwd-stage-1
MathiasVP:expose-fwd-stage-1
2m 47s
Data flow: Add hook for preventing lambda dispatch in source call contexts Rust #5540: Pull request #21592 synchronize by hvitved
2m 59s hvitved:dataflow/source-call-context-type-flow
hvitved:dataflow/source-call-context-type-flow
2m 59s
Rust: Track closure types in data flow Rust #5539: Pull request #21596 synchronize by hvitved
2m 45s hvitved:rust/data-flow-closure-type
hvitved:rust/data-flow-closure-type
2m 45s
ProTip! You can narrow down the results and go further in time using created:<2026-04-07 or the other filters available.