@@ -10,8 +10,7 @@ build *ARGUMENTS:
# Removes temporary files
clean:
rm -rf target
cargo clean
rm -rf Tools/__pycache__
# Lints the rust source files
lint *ARGUMENTS:
The note is not visible to the blocked user.