From b052934ced2b8053619d51c56e40d931772636e6 Mon Sep 17 00:00:00 2001
From: Tom Willemse <tom@ryuslash.org>
Date: Fri, 9 Oct 2020 23:10:50 -0700
Subject: [PATCH] Define top-level agent

Since all the stages define different agents, the top-level can use any agent.
---
 Jenkinsfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index fd6c7ae..c0788ca 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,4 +1,6 @@
 pipeline {
+    agent { any }
+
     stages {
         stage('Build') {
             parallel {