Another try for extraction

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

.github/workflows/ci_pipeline.yml

@@ -35,6 +35,7 @@ jobs:
 
   user_cpu_tests_linux:
     runs-on: ubuntu-latest
+    if: false
     strategy:
       fail-fast: false
       matrix:
@@ -76,6 +77,7 @@ jobs:
 
   project_cpu_tests_linux:
     runs-on: ubuntu-latest
+    if: false
     strategy:
       fail-fast: false
       matrix:
@@ -132,6 +134,7 @@ jobs:
 
   user_libpressio_tests:
     runs-on: ubuntu-latest
+    if: false
     container:
       image: brownbaerchen/libpressio:amd64_2
       volumes:

.github/workflows/gitlab_ci.yml

@@ -104,7 +104,7 @@ jobs:
           git config user.email "[email protected]"
           git config user.name "Sync bot"
           echo "Merge the two parts of the Merge-Request to test the resulting version"
-          git merge "${{ github.event.pull_request.head.sha }}"
+          git merge "${{ github.event.pul­­l_request.head.sha }}"
       - name: Mirror and wait for Gitlab-CI
         uses: jakob-fritz/[email protected]
         env:
@@ -119,8 +119,8 @@ jobs:
         run: |
           pwd
           ls -lah
-          cd ./artifacts
-          unzip -f '*.zip' .
+          cd artifacts
+          unzip -f '*.zip' -d .
           ls -lah
           rm *.zip
           ls -lah