From 5835d61b3f5256556e7a07c6a610b55ff0a81658 Mon Sep 17 00:00:00 2001 From: Matthew Newton Date: Fri, 19 Mar 2021 21:14:49 +0000 Subject: [PATCH] remove from Jenkinsfile, too --- scripts/jenkins/Jenkinsfile.auto | 1 - 1 file changed, 1 deletion(-) diff --git a/scripts/jenkins/Jenkinsfile.auto b/scripts/jenkins/Jenkinsfile.auto index 9d4f86fd7f..2e1662ded1 100644 --- a/scripts/jenkins/Jenkinsfile.auto +++ b/scripts/jenkins/Jenkinsfile.auto @@ -3,7 +3,6 @@ def platforms = [ "ubuntu16", "ubuntu18", "ubuntu20", - "centos6", "centos7", "centos8", "debian8", -- 2.47.2