diff --git a/Jenkinsfile b/Jenkinsfile index 50b2589..0a1dd7b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -58,13 +58,6 @@ pipeline { stage('Build & test') { steps { build_n_test_project() }} } } -// stage('U20.04') { -// agent {docker { image 'ubuntu-20.04' } } -// stages { -// stage('Checkout') { steps { checkout_project() }} -// stage('Build & test') { steps { build_n_test_project() }} -// } -// } stage('centos7') { agent {docker { image 'centos7' } } stages { @@ -90,7 +83,6 @@ pipeline { stage('Build & test') { steps { build_n_test_project() }} } } - // stage('Format check') { agent {docker { image 'ubuntu-riscv' } } stages {