mirror of https://github.com/YosysHQ/yosys.git
Enable plugins
This commit is contained in:
parent
1214e8aecd
commit
3313645fd0
|
|
@ -204,7 +204,7 @@ jobs:
|
|||
- name: Run tests
|
||||
shell: bash
|
||||
run: |
|
||||
make -C docs test -j${{ env.procs }}
|
||||
make -C docs test -j${{ env.procs }} ENABLE_PLUGINS=1
|
||||
|
||||
test-docs-build:
|
||||
name: Try build docs
|
||||
|
|
|
|||
Loading…
Reference in New Issue