CI debugging

Former-commit-id: da9c925d

.gitlab-ci.yml

@@ -19,6 +19,7 @@ build:
   script:
     - mkdir Source/build
     - cd Source/build
+    - python3 -c "import sysconfig; print(sysconfig.get_paths())"
     - cmake ..
     - make
   image: ${DOCKER_IMAGE}