Merge remote-tracking branch 'origin/main'

# Conflicts: # Dockerfile # create-dataset.sh
2024-04-28 20:30:09 +02:00 · 2024-04-28 20:30:09 +02:00 · 56afbd480b
commit 56afbd480b
parent e575276d81 1a9af6aa7e
2 changed files with 6 additions and 2 deletions
--- a/4
+++ b/4
@ -1,5 +1,7 @@
 pipeline {
-    agent any
+    agent { 
+        dockerfile true 
+    }

    parameters {
        string(
--- a/4
+++ b/4
@ -1,5 +1,7 @@
 pipeline {
-    agent any
+    agent {
+        docker { image 'raczynski/ium:1.0' }
+    }

    parameters {
        buildSelector(