From f88b8edeed15f50f4472da37c9d447f511e9c3e4 Mon Sep 17 00:00:00 2001
From: "Timothy J. Warren" <tim@timshomepage.net>
Date: Fri, 5 Feb 2021 20:05:33 -0500
Subject: [PATCH] Fix the CI build?

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 7351ec62..26a1b7fa 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -37,7 +37,7 @@ pipeline {
  	}
  	post {
  		success {
- 			agent any {
+ 			 node('Coverage') {
 				sh 'php composer.phar run-script coverage'
 				step([
 					$class: 'CloverPublisher',