mirror of https://github.com/YosysHQ/yosys.git
ci: Test build docs
This commit is contained in:
parent
edf29e725e
commit
33930e44ac
|
@ -189,3 +189,8 @@ jobs:
|
|||
shell: bash
|
||||
run: |
|
||||
make -C docs test -j${{ env.procs }}
|
||||
|
||||
- name: Test build docs
|
||||
shell: bash
|
||||
run: |
|
||||
make -C docs -j${{ env.procs }} TARGETS= EXTRA_TARGETS=
|
||||
|
|
Loading…
Reference in New Issue