Coverage-reports from Gitlab are now found and combined (#478)

* Unzip artifacts from Gitlab-CI

* Corrected wrong rm-command

* Unzipped files are located somewhere else not in pwd

* Another try for extraction

and commented out other long-running jobs in CI (will be added at the end)

* Search newly created directories

* Accidentally commited some weird char

* Moved file-listing and changed find-command

* Struggling with find-command

* Pass files separately to unzip

* Corrected order of unzip

* termination need to be properly escaped

* Explicitly uploading the unzipped artifacts

* Run all jobs again

Author: jakob-fritz

.github/workflows/gitlab_ci.yml

@@ -115,6 +115,22 @@ jobs:
           GITLAB_PROJECT_ID: "6029"
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           MIRROR_BRANCH: ${{ env.MIRROR_BRANCH }}
+      - name: Unzip downloaded artifacts
+        run: |
+          pwd
+          ls -lah
+          cd artifacts
+          find . -name "*.zip" -type f -exec unzip -o {} \;
+          ls -lah
+          rm *.zip
+          cd ..
+          ls -lah
+      - name: Uploading artifacts
+        uses: actions/upload-artifact@v4
+        with:
+          name: Gitlab-Action_artifacts
+          path: |
+            ./artifacts/*
 
   get_artifacts_from_other_workflow:
     runs-on: ubuntu-latest