diff options
| -rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 2db645c..0cbd0dd 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -7,6 +7,7 @@ pipeline { disableConcurrentBuilds() } stages { + /* stage('formatting-check') { steps { sh ''' @@ -19,6 +20,7 @@ pipeline { ''' } } + */ stage('simulator-build') { steps { parallel "4.2": { |
