Skip to content

Commit 8dce3f1

Browse files
authored
Update test-sanitizers.yml
1 parent 9f2b5e0 commit 8dce3f1

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

.github/workflows/test-sanitizers.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -96,9 +96,9 @@ jobs:
9696
- name: Build
9797
shell: bash
9898
run: |
99-
make config-$CC
99+
make config-$CC SMALL=0 ENABLE_ABC=1 ENABLE_PLUGINS=1 ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0 VERIFIC_DIR=../verific
100100
echo 'SANITIZER = ${{ matrix.sanitizer }}' >> Makefile.conf
101-
make -j$procs ENABLE_LTO=1
101+
make -j$procs ENABLE_LTO=1 SMALL=0 ENABLE_ABC=1 ENABLE_PLUGINS=1 ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0 VERIFIC_DIR=../verific
102102
103103
- name: Log yosys-config output
104104
run: |

0 commit comments

Comments
 (0)