mirror of https://github.com/YosysHQ/yosys.git
parent
33930e44ac
commit
f72d0219d1
|
|
@ -193,4 +193,4 @@ jobs:
|
||||||
- name: Test build docs
|
- name: Test build docs
|
||||||
shell: bash
|
shell: bash
|
||||||
run: |
|
run: |
|
||||||
make -C docs -j${{ env.procs }} TARGETS= EXTRA_TARGETS=
|
make docs -j${{ env.procs }} TARGETS= EXTRA_TARGETS=
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue