Fix jenkinsfile after messy merge - again

2024-01-10 09:29:05 +10:00
parent 33c867895c
commit 30772a48bd
1 changed files with 0 additions and 1 deletions
@@ -142,7 +142,6 @@ pipeline {
 							junit 'test/results-sqlite/junit/*'
 						}
 					}
 					junit 'test/results/junit/*'
 				}
 				stage('Mysql') {
 					steps {