Merge branch 'main' into dev

Jenkinsfile

@@ -22,6 +22,12 @@ pipeline {
                     
                     sh 'git submodule update --init --recursive'
 
+                    if (env.BRANCH_NAME !== 'main') {
+                        echo "[!] Not on main branch. Stopping pipeline."
+                        currentBuild.result = 'SUCCESS'
+                        error("Stopping pipeline: not on main branch.")
+                    } 
+
                     def tagName = sh(
                         script: "git describe --tags --exact-match 2>/dev/null || echo 'no-tag'",
                         returnStdout: true