ci: Switch test build docs to our runner

YosysHQ · Oct 7, 2024 · b151036 · b151036
1 parent f72d021
commit b151036
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/prepare-docs.yml b/.github/workflows/prepare-docs.yml
@@ -64,6 +64,11 @@ jobs:
             docs/source/_images
             docs/source/code_examples
 
+      - name: Test build docs
+        shell: bash
+        run: |
+          make docs -j${{ env.procs }} TARGETS= EXTRA_TARGETS=
+
       - name: Trigger RTDs build
         if: ${{ needs.check_docs_rebuild.outputs.docs_export == 'true' }}
         uses: dfm/[email protected]

diff --git a/.github/workflows/test-build.yml b/.github/workflows/test-build.yml
@@ -189,8 +189,3 @@ jobs:
         shell: bash
         run: |
           make -C docs test -j${{ env.procs }}
-
-      - name: Test build docs
-        shell: bash
-        run: |
-          make docs -j${{ env.procs }} TARGETS= EXTRA_TARGETS=