Debug

Author: giordano

.github/workflows/ci.yml

@@ -18,12 +18,12 @@ jobs:
       fail-fast: false
       matrix:
         include:
-          - julia_version: "1.9"
-            docker_image: graphcore/poplar:2.5.1-ubuntu-20.04-20220629
-            build_docs: false
-          - julia_version: "1.10"
-            docker_image: graphcore/poplar:3.2.0-ubuntu-20.04-20230314
-            build_docs: true
+          # - julia_version: "1.9"
+          #   docker_image: graphcore/poplar:2.5.1-ubuntu-20.04-20220629
+          #   build_docs: false
+          # - julia_version: "1.10"
+          #   docker_image: graphcore/poplar:3.2.0-ubuntu-20.04-20230314
+          #   build_docs: true
           - julia_version: "^1.11.0-0"
             docker_image: graphcore/poplar:3.3.0-ubuntu-20.04-20230703
             build_docs: false
@@ -38,6 +38,7 @@ jobs:
           DEBIAN_FRONTEND: noninteractive
       - uses: actions/checkout@v4
       - name: "Declare git repo safe"
+        if: ${{ matrix.build_docs }}
         # In the docker container the repo is owned by 1001:123, causing the
         # following error when running git commands:
         #
@@ -57,6 +58,11 @@ jobs:
           cache-artifacts: "true"
           cache-packages: "true"
           cache-compiled: "true"
+
+      - name: "Debug"
+        run: |
+          env
+
       - uses: julia-actions/julia-buildpkg@v1
         env:
           CXX: g++