Skip to content

Gate PR CI on clippy correctness lints#119451

Merged
bors merged 1 commit into
rust-lang:masterfrom
Kobzol:ci-pr-clippy
Feb 13, 2024
Merged

Gate PR CI on clippy correctness lints#119451
bors merged 1 commit into
rust-lang:masterfrom
Kobzol:ci-pr-clippy

Gate PR CI on clippy correctness lints

4a2939b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs