reverting previous change: repo checkout is neccessary to have access to makefile

2024-06-04 12:12:57 +02:00 · 2024-06-04 12:12:57 +02:00 · d6078abdbf
parent 3654f6bb24
commit d6078abdbf
1 changed files with 0 additions and 1 deletions
--- a/1
+++ b/1
@ -208,7 +208,6 @@ pipeline
                                        stage('ubuntu smoke tests')
                                        {
                                            agent { label "gpu_20_04" }
-                                            options{skipDefaultCheckout()} 
                                            steps
                                            {
                                                unstash name: 'ubuntu_eggs'