Merge branch 'mr-pipelines' into 'master'

.gitlab-ci.yml: Enable MR pipelines

See merge request d3tn/ud3tn!258

.gitlab-ci.yml

@@ -10,6 +10,14 @@ image: registry.gitlab.com/d3tn/ud3tn-docker-images/ci-python-clang:3.9-bookworm
 variables:
   GIT_SUBMODULE_STRATEGY: recursive
 
+# https://docs.gitlab.com/ci/yaml/workflow/#switch-between-branch-pipelines-and-merge-request-pipelines
+workflow:
+    rules:
+        - if: $CI_PIPELINE_SOURCE == "merge_request_event"
+        - if: $CI_COMMIT_BRANCH && $CI_OPEN_MERGE_REQUESTS
+          when: never
+        - if: $CI_COMMIT_BRANCH
+
 build-posix-debug:
     stage: builds
     when: always