mirror of https://github.com/YosysHQ/yosys.git
ci: Switch test build docs to our runner
This commit is contained in:
parent
f72d0219d1
commit
b15103625b
|
@ -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/rtds-action@v1.1.0
|
||||
|
|
|
@ -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=
|
||||
|
|
Loading…
Reference in New Issue