[CI] Only declare git repo safe when building docs

giordano · giordano · commit 0728e506b268 · 2024-04-09T12:07:42.000+01:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -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:
         #

Original file line number	Diff line number	Diff line change
`@@ -38,6 +38,7 @@ jobs:`
`38`	`38`	`DEBIAN_FRONTEND: noninteractive`
`39`	`39`	`- uses: actions/checkout@v4`
`40`	`40`	`- name: "Declare git repo safe"`
	`41`	`+ if: ${{ matrix.build_docs }}`
`41`	`42`	`# In the docker container the repo is owned by 1001:123, causing the`
`42`	`43`	`# following error when running git commands:`
`43`	`44`	`#`