From 5be69cfa75dfda7455d94f341ec1577378ab2300 Mon Sep 17 00:00:00 2001
From: Eyck Jentzsch <eyck@minres.com>
Date: Thu, 19 Dec 2024 13:34:55 +0100
Subject: [PATCH] cleans up Jenkinsfile

---
 Jenkinsfile | 8 --------
 1 file changed, 8 deletions(-)

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 {