From 5523caf2fa86363bf5b6538d820d066631c3f5a8 Mon Sep 17 00:00:00 2001
From: Christophe Demarey <christophe.demarey@inria.fr>
Date: Wed, 13 Apr 2022 12:22:04 +0200
Subject: [PATCH] upload artifacts on release

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 7b01aa10..c06fc983 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -183,6 +183,10 @@ def fileNameArchSuffix(architecture) {
 }
 
 def shouldNotUpload() {
+  if (isRelease) {
+    return false
+  }
+
   if (isPullRequest()) {
     //Only upload files if not in a PR (i.e., CHANGE_ID not empty)
     echo "[DO NO UPLOAD] In PR " + (env.CHANGE_ID?.trim())