From ead4718e567aed2e552dcfe46294b132aa04c158 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Tue, 9 Jul 2024 09:22:37 +0200 Subject: [PATCH] Enable extensions for CI --- .github/workflows/test-verific.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/test-verific.yml b/.github/workflows/test-verific.yml index 54d9487acfb..5b6268a2eaf 100644 --- a/.github/workflows/test-verific.yml +++ b/.github/workflows/test-verific.yml @@ -39,6 +39,7 @@ jobs: echo "ENABLE_VERIFIC := 1" >> Makefile.conf echo "ENABLE_VERIFIC_EDIF := 1" >> Makefile.conf echo "ENABLE_VERIFIC_LIBERTY := 1" >> Makefile.conf + echo "ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS := 1" >> Makefile.conf echo "ENABLE_CCACHE := 1" >> Makefile.conf make -j${{ env.procs }}