diff options
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 274e383ffa..1cb2eea877 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -23,16 +23,6 @@ parallel_nodes(['linux && cura', 'windows && cura']) { } catch(e) { currentBuild.result = "UNSTABLE" } - - // Check setting visibilities - try { - sh """ - echo 'Check for duplicate shortcut keys in all translation files.' - ${env.CURA_ENVIRONMENT_PATH}/master/bin/python3 scripts/check_setting_visibility.py - """ - } catch(e) { - currentBuild.result = "UNSTABLE" - } } } |