From 1716de89ef012d983150e07314f1d35392f830b2 Mon Sep 17 00:00:00 2001 From: Pietro Albini Date: Mon, 18 Nov 2024 22:09:24 +0100 Subject: [PATCH] add note about running clippy ci --- src/release/process.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/release/process.md b/src/release/process.md index 475b9343..39bd5ab1 100644 --- a/src/release/process.md +++ b/src/release/process.md @@ -146,6 +146,12 @@ Send a PR to the master branch to: they won't have to be removed. The easiest way to handle this is to change them anyway and let CI show you the failure. +- Ensure there are no new warnings or Clippy lints affecting the codebase: + + ``` + ./x clippy ci + ``` + ## Release day (Thursday) Decide on a time to do the release. You are fully in charge of deciding when