move clang-tidy from Jenkins to Github Actions

2026-10-20 08:13:33 +08:00 · 2020-06-22 13:37:38 -04:00
parent 147fb0afa4
commit b15ea156c8
2 changed files with 46 additions and 22 deletions
@@ -120,28 +120,6 @@ pipeline {
          }
        }

-        stage('Clang tidy') {
-          agent {
-            docker {
-              image 'px4io/px4-dev-clang:2020-04-01'
-              args '-e CCACHE_BASEDIR=$WORKSPACE -v ${CCACHE_DIR}:${CCACHE_DIR}:rw'
-            }
-          }
-          steps {
-            sh 'export'
-            sh 'make distclean'
-            sh 'git fetch --tags'
-            retry (3) {
-              sh 'make clang-tidy-quiet'
-            }
-          }
-          post {
-            always {
-              sh 'make distclean'
-            }
-          }
-        }
-
        stage('Cppcheck') {
          agent {
            docker {