From b6e2816e07716f99dc4572de400f558b211ee956 Mon Sep 17 00:00:00 2001 From: c0repwn3r Date: Wed, 19 Apr 2023 09:43:11 -0400 Subject: [PATCH] jenkins CI pt.2 --- Jenkinsfile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index c25130c4b3b3ac15caa8b670880d7d72d20cfead..75a62e134313cdd606eb125407dc1f2b50e6e0a4 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,5 @@ pipeline { - agent { - table 'rust' - } + agent any stages { stage('Build') {