diff --git a/Jenkinsfile b/Jenkinsfile index 2ef8293bd4..5faa02d0c3 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -42,7 +42,6 @@ def pre_test(){ killall -9 gdb || echo "no gdb running" killall -9 python3.8 || echo "no python program running" cd ${WKC} - //git reset --hard HEAD~10 >/dev/null ''' script { if (env.CHANGE_TARGET == 'master') {