diff --git a/Jenkinsfile b/Jenkinsfile index 5b673f6..9965a6a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -32,11 +32,11 @@ pipeline { sh ''' export CARGO_HOME="$(pwd)/.cargo" export PATH="$(pwd)/.local/bin:${PATH}" - mold -V clang -v gcc -v cargo -V rustc -V + mold -V cargo build \ --release '''