mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-24 09:35:32 +00:00
Code Activity

Smallfix to verific dir

Browse source
This commit is contained in:
Akash Levy 2024-10-19 15:34:11 -07:00
parent 9e1ce1e499
commit 1214e8aecd
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/test-build.yml vendored
View file

@ -59,8 +59,8 @@ jobs:
run: |
mkdir build
cd build
make -f ../Makefile config-$CC ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0
make -f ../Makefile -j$procs ENABLE_LTO=1 ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0
make -f ../Makefile config-$CC ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0 VERIFIC_DIR=../verific
make -f ../Makefile -j$procs ENABLE_LTO=1 ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0 VERIFIC_DIR=../verific
- name: Log yosys-config output
run: |