From a770ec95119e9f2ef4f717008c7ea0cc1763f44b Mon Sep 17 00:00:00 2001
From: retropikzel <retropikzel@iki.fi>
Date: Wed, 22 Jul 2026 20:36:52 +0300
Subject: [PATCH] New builds

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 5ce075a..d524c9e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,8 +1,8 @@
 pipeline {
   agent any
-  options { disableConcurrentBuilds(); buildDiscarder(logRotator(numToKeepStr: '10', artifactNumToKeepStr: '10')); }
+  options { disableConcurrentBuilds(), buildDiscarder(logRotator(numToKeepStr: '10', artifactNumToKeepStr: '10')) }
   stages {
-    agent { docker { image 'schemers/chibi:head'; reuseNode true; args '--user=root'; } }
+    agent { docker { image 'schemers/chibi:head', reuseNode true, args '--user=root' } }
     steps {
       script {
         stage('init') {