diff options
author | Ghostkeeper <rubend@tutanota.com> | 2018-10-18 18:15:28 +0300 |
---|---|---|
committer | Ghostkeeper <rubend@tutanota.com> | 2018-10-18 18:15:28 +0300 |
commit | 05c2349411e84a2b0883412968f3733708c79f9e (patch) | |
tree | d902bc49981376e8e81545d60d311aede8fa75d0 /Jenkinsfile | |
parent | 3888d79b345da7aaeaac1544a20a1ef7ca242347 (diff) |
No longer run setting visibility script
It no longer exists.
Contributes to issue CURA-5734.
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" - } } } |