From 868034ef939e4dc3b82cbaf6014dc1b5a4baefc6 Mon Sep 17 00:00:00 2001
From: rok-cesnovar <rok.cesnovar@fri.uni-lj.si>
Date: Wed, 20 May 2020 15:15:22 +0200
Subject: [PATCH] skip full unit when no source changes

---
 Jenkinsfile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 60bc8851992..9aa93007c45 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -177,6 +177,11 @@ pipeline {
         }
         stage('Full Unit Tests') {
             agent any
+            when {
+                expression {
+                    !skipRemainingStages
+                }
+            }
             steps {
                 script {
                     if (isUnix()) {