fix the installation of Rust in the CI

!39 (merged) and !40 (merged) changed the CI to use a toolchain file.

however, having default as the $.profile causes extra useless components to be installed.

this MR sets the $.profile to minimal in the toolchain file and the $.components to rustfmt and clippy.

assigned to @a.stevan

added 2 commits

• 7f55edcb - Revert "Revert "remove the `RUSTUP_CHANNEL` from CI (!40 (merged))""
• 66a9e2e4 - set the list of components in the _toolchain_ file

Compare with previous version

added 1 commit

• 7617b792 - set the profile to _minimal_

Compare with previous version

marked this merge request as ready

changed title from {-Draft: Revert "remove the RUSTUP_CHANNEL from CI (!40 (merged))"-} to fix the installation of Rust in the CI

mentioned in commit ea2f73f5

added 2 commits

• 7b9104e2 - 1 commit from branch main
• ea2f73f5 - Merge remote-tracking branch 'origin/main' into revert-ci-change

Compare with previous version

changed the description

merged

mentioned in commit e0fb0f81