Update Jenkinsfile

2024-04-22 14:58:34 +00:00
parent 27517d7419
commit 929978fa87
1 changed files with 1 additions and 1 deletions
@@ -1,5 +1,5 @@
 pipeline {
-    agent linux {
+    agent {linux} {
        stages {
            stage('Build') {
                steps {