Merge branch 'ruben/jenkins_migration' of github.com:carla-simulator/carla into dev

2024-02-12 12:57:10 +01:00 · 2024-02-12 12:57:10 +01:00 · fe117ef1e4
parent bb24ae0ede 2516d4b9f2
commit fe117ef1e4
1 changed files with 5 additions and 5 deletions
--- a/10
+++ b/10
@ -322,12 +322,12 @@ pipeline
                            }
                        }
                    }
-                }
-                post
-                {
-                    always
+                    post
                    {
-                        deleteDir()
+                        always
+                        {
+                            deleteDir()
+                        }
                    }
                }
                /*