update jenkinsfile

2026-04-07 09:41:55 +01:00 · 2026-04-07 09:41:55 +01:00 · 78f087ec13
commit 78f087ec13
parent 40536f4b30
1 changed files with 0 additions and 1 deletions
--- a/files/config/Jenkinsfile
+++ b/files/config/Jenkinsfile
@ -9,7 +9,6 @@ pipeline {
                        set -e
                        rustc --version
                        cargo --version
-                        rustup component add clippy rustfmt
                        make ci
                    '''
                }