diff --git a/Jenkinsfile b/Jenkinsfile index 566cc3b..5b673f6 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -34,6 +34,7 @@ pipeline { export PATH="$(pwd)/.local/bin:${PATH}" mold -V clang -v + gcc -v cargo -V rustc -V cargo build \