Skip to content

Actions: github/codeql

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
4,221 workflow runs
4,221 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rust: Distinguish &mut T from &T in type inference Rust #4816: Pull request #20973 synchronize by hvitved
2m 46s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
2m 46s
Rust: Don't apply generated models for functions that have a manual model Rust #4815: Pull request #21036 synchronize by paldepind
2m 50s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
2m 50s
Rust: Don't apply generated models for functions that have a manual model Rust #4814: Pull request #21036 synchronize by paldepind
2m 47s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
2m 47s
Rust: Don't apply generated models for functions that have a manual model Rust #4813: Pull request #21036 synchronize by paldepind
2m 38s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
2m 38s
Rust: Regenerate models Rust #4812: Pull request #21023 synchronize by paldepind
2m 53s paldepind:rust/regenerate-models-1212
paldepind:rust/regenerate-models-1212
2m 53s
Rust: Don't apply generated models for functions that have a manual model Rust #4811: Pull request #21036 opened by paldepind
2m 45s paldepind:rust/prioritize-manual-summaries
paldepind:rust/prioritize-manual-summaries
2m 45s
Rust: Also use specialized types when inferring types for calls Rust #4810: Pull request #21027 synchronize by hvitved
2m 43s hvitved:rust/type-inference-matching-specialization
hvitved:rust/type-inference-matching-specialization
2m 43s
Rust: Add models for core::cmp::Ord::{min,max,clamp} Rust #4809: Pull request #21035 synchronize by hvitved
2m 51s hvitved:rust/ord-models
hvitved:rust/ord-models
2m 51s
Rust: Add models for core::cmp::Ord::{min,max,clamp} Rust #4808: Pull request #21035 opened by hvitved
2m 41s hvitved:rust/ord-models
hvitved:rust/ord-models
2m 41s
Rust: Handle Deref trait in type inference and data flow Rust #4807: Pull request #20987 synchronize by hvitved
2m 50s hvitved:rust/type-inference-deref-trait
hvitved:rust/type-inference-deref-trait
2m 50s
Rust: Distinguish &mut T from &T in type inference Rust #4806: Pull request #20973 synchronize by hvitved
2m 44s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
2m 44s
Rust: Fix some false positives for rust/unused-variable and rust/unused-value Rust #4805: Pull request #21009 synchronize by geoffw0
2m 46s geoffw0:varfps
geoffw0:varfps
2m 46s
Rust: Also use specialized types when inferring types for calls Rust #4804: Pull request #21027 synchronize by hvitved
2m 52s hvitved:rust/type-inference-matching-specialization
hvitved:rust/type-inference-matching-specialization
2m 52s
Rust: Distinguish &mut T from &T in type inference Rust #4803: Pull request #20973 synchronize by hvitved
2m 44s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
2m 44s
Rust: Also use specialized types when inferring types for calls Rust #4802: Pull request #21027 synchronize by hvitved
2m 44s hvitved:rust/type-inference-matching-specialization
hvitved:rust/type-inference-matching-specialization
2m 44s
Rust: Also use specialized types when inferring types for calls Rust #4801: Pull request #21027 opened by hvitved
2m 43s hvitved:rust/type-inference-matching-specialization
hvitved:rust/type-inference-matching-specialization
2m 43s
Rust: Distinguish &mut T from &T in type inference Rust #4800: Pull request #20973 synchronize by hvitved
2m 52s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
2m 52s
Rust: Distinguish &mut T from &T in type inference Rust #4799: Pull request #20973 synchronize by hvitved
2m 49s hvitved:rust/type-inference-distinguish-mut-ref
hvitved:rust/type-inference-distinguish-mut-ref
2m 49s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Rust #4798: Pull request #21011 synchronize by aschackmull
2m 38s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
2m 38s
Mergeback rc/3.20 into main Rust #4797: Pull request #21025 synchronize by oscarsj
2m 42s oscarsj/mergeback-rc-3-20-into-main
oscarsj/mergeback-rc-3-20-into-main
2m 42s
Mergeback rc/3.20 into main Rust #4796: Pull request #21025 opened by oscarsj
2m 49s oscarsj/mergeback-rc-3-20-into-main
oscarsj/mergeback-rc-3-20-into-main
2m 49s
Java/C++/Go/C#: Share parts of ExternalFlow.qll Rust #4795: Pull request #21011 synchronize by aschackmull
2m 50s aschackmull:mad/shared-externalflow
aschackmull:mad/shared-externalflow
2m 50s
Shared: Prefer source/sink models with manual provenance over generated Rust #4794: Pull request #21020 synchronize by hvitved
2m 50s hvitved:shared/source-sink-provenance-prio
hvitved:shared/source-sink-provenance-prio
2m 50s
Rust: Regenerate models Rust #4793: Pull request #21023 opened by paldepind
2m 42s paldepind:rust/regenerate-models-1212
paldepind:rust/regenerate-models-1212
2m 42s
Shared: Prefer source/sink models with manual provenance over generated Rust #4792: Pull request #21020 synchronize by hvitved
2m 48s hvitved:shared/source-sink-provenance-prio
hvitved:shared/source-sink-provenance-prio
2m 48s