Merge pull request #7 from themr0c/patch-1

chore: use the edit_url
crc-org · Dec 2, 2024 · 0e29ee2 · 0e29ee2
2 parents 26cd6e1 + c635f84
commit 0e29ee2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/publish-docs.yml b/.github/workflows/publish-docs.yml
@@ -16,7 +16,7 @@ jobs:
       - name: Check out repository code
         uses: actions/checkout@v4
       - name: Build docs
-        run: CONTAINER_RUNTIME=docker make build_docs
+        run: CONTAINER_RUNTIME=docker CI=true make build_docs
       #- name: Check links in docs
       #  run: CONTAINER_RUNTIME=docker make docs_check_links
       - name: Deploy