From 51a03fcacb5aef505f5ba46baed6a26c193647c8 Mon Sep 17 00:00:00 2001
From: s444417 <mikolaj12341230@gmail.com>
Date: Thu, 24 Mar 2022 18:48:41 +0100
Subject: [PATCH] fix 8

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 3dc101e..ff0f774 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,6 +1,6 @@
 pipeline {
     agent any
-    properties {
+    options {
         parameters {
             string(
                 defaultValue: 'mikolaj2',