diff --git a/Jenkinsfile b/Jenkinsfile index 6cd3f48..c671fef 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -6,6 +6,7 @@ pipeline { agent { label 'linux' } steps { cleanWs() + checkout scm sh ''' cmake -S . -B build/linux -G Ninja -DCMAKE_BUILD_TYPE=Release @@ -18,6 +19,7 @@ pipeline { agent { label 'windows' } steps { cleanWs() + checkout scm bat ''' echo Windows agent works