aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Jenkinsfile2
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": {