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
Type inference 2.0 Rust #6500: Pull request #21795 synchronize by hvitved
2m 44s hvitved:rust/type-inference-shared
hvitved:rust/type-inference-shared
2m 44s
Unified: Enable on Arm64 Rust #6499: Pull request #22478 opened by jketema
2m 38s jketema/static-followup
jketema/static-followup
2m 38s
FlowSummaryImpl: Model more source/sink steps as jump steps Rust #6498: Pull request #22470 synchronize by hvitved
2m 43s hvitved:flow-summary-source-sink-jump-step
hvitved:flow-summary-source-sink-jump-step
2m 43s
Rust: Exclude taint-read-steps for axum::extract::state::State Rust #6497: Pull request #22471 synchronize by hvitved
2m 39s hvitved:rust/exclude-axum-state-steps
hvitved:rust/exclude-axum-state-steps
2m 39s
Rust: Source/sink/barrier MaD trait models apply to implementations Rust #6496: Pull request #22445 synchronize by hvitved
2m 42s hvitved-add-source-sink-barrier-tests
hvitved-add-source-sink-barrier-tests
2m 42s
Cfg: Minor tweaks in preparation for Unified Rust #6495: Pull request #22476 opened by aschackmull
2m 42s aschackmull:cfg/tweaks
aschackmull:cfg/tweaks
2m 42s
Rust: Exclude taint-read-steps for axum::extract::state::State Rust #6494: Pull request #22471 synchronize by hvitved
2m 40s hvitved:rust/exclude-axum-state-steps
hvitved:rust/exclude-axum-state-steps
2m 40s
FlowSummaryImpl: Model more source/sink steps as jump steps Rust #6493: Pull request #22470 synchronize by hvitved
2m 51s hvitved:flow-summary-source-sink-jump-step
hvitved:flow-summary-source-sink-jump-step
2m 51s
Rust: Source/sink/barrier MaD trait models apply to implementations Rust #6492: Pull request #22445 synchronize by hvitved
2m 43s hvitved-add-source-sink-barrier-tests
hvitved-add-source-sink-barrier-tests
2m 43s
Rust: update rust-analyzer to 0.0.347 Rust #6491: Pull request #22346 synchronize by redsun82
2m 55s redsun82-rust-analyzer-update
redsun82-rust-analyzer-update
2m 55s
Rust: Source/sink/barrier MaD trait models apply to implementations Rust #6490: Pull request #22445 synchronize by hvitved
2m 43s hvitved-add-source-sink-barrier-tests
hvitved-add-source-sink-barrier-tests
2m 43s
FlowSummaryImpl: Model more source/sink steps as jump steps Rust #6489: Pull request #22470 synchronize by hvitved
2m 44s hvitved:flow-summary-source-sink-jump-step
hvitved:flow-summary-source-sink-jump-step
2m 44s
Rust: Exclude taint-read-steps for axum::extract::state::State Rust #6488: Pull request #22471 opened by hvitved
2m 40s hvitved:rust/exclude-axum-state-steps
hvitved:rust/exclude-axum-state-steps
2m 40s
FlowSummaryImpl: Model more source/sink steps as jump steps Rust #6487: Pull request #22470 opened by hvitved
2m 18s hvitved:flow-summary-source-sink-jump-step
hvitved:flow-summary-source-sink-jump-step
2m 18s
Rust: update rust-analyzer to 0.0.347 Rust #6486: Pull request #22346 synchronize by redsun82
2m 57s redsun82-rust-analyzer-update
redsun82-rust-analyzer-update
2m 57s
Rust: Source/sink/barrier MaD trait models apply to implementations Rust #6485: Pull request #22445 synchronize by hvitved
2m 36s hvitved-add-source-sink-barrier-tests
hvitved-add-source-sink-barrier-tests
2m 36s
Rust: Use angle brackets for trait item canonical paths Rust #6484: Pull request #22457 synchronize by hvitved
2m 25s hvitved-angle-bracket-trait-paths
hvitved-angle-bracket-trait-paths
2m 25s
Rust: Enable LTO for the extractor Rust #6483: Pull request #22461 synchronize by paldepind
1m 56s rust/enable-lto
rust/enable-lto
1m 56s
Rust: Use angle brackets for trait item canonical paths Rust #6482: Pull request #22457 synchronize by hvitved
3m 15s hvitved-angle-bracket-trait-paths
hvitved-angle-bracket-trait-paths
3m 15s
Rust: Enable LTO for the extractor Rust #6481: Pull request #22461 synchronize by paldepind
2m 36s rust/enable-lto
rust/enable-lto
2m 36s
Rust: Enable LTO for the extractor Rust #6480: Pull request #22461 opened by paldepind
1m 13s rust/enable-lto
rust/enable-lto
1m 13s
Rust: Use angle brackets for trait item canonical paths Rust #6479: Pull request #22457 synchronize by hvitved
2m 45s hvitved-angle-bracket-trait-paths
hvitved-angle-bracket-trait-paths
2m 45s
Kotlin: support 2.4.20 Rust #6478: Pull request #22404 synchronize by andersfugmann
2m 9s andersfugmann/kotlin-2.4.20rc
andersfugmann/kotlin-2.4.20rc
2m 9s
Rust: Reuse Cargo target dir when running QL tests Rust #6477: Pull request #22446 synchronize by paldepind
2m 27s rust/reuse-cargo-target-dir
rust/reuse-cargo-target-dir
2m 27s
Rust: Reuse Cargo target dir when running QL tests Rust #6476: Pull request #22446 synchronize by paldepind
2m 48s rust/reuse-cargo-target-dir
rust/reuse-cargo-target-dir
2m 48s