ci: fix jenkins file

2021-11-05 14:05:44 +01:00
parent d54fc5dad1
commit 9e64f00579
1 changed files with 0 additions and 1 deletions
--- a/1
+++ b/1
@@ -16,7 +16,6 @@ pipeline {
            cobertura coberturaReportFile: 'reports/coverage.xml'
            junit 'reports/**/*.xml'
          }
-        }
    }

    stage('CPU Examples') {