From 9e1ce1e4992ac2dcf315ea29e28993ac372e95fe Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Sat, 19 Oct 2024 15:14:12 -0700 Subject: [PATCH] Fixes --- .github/workflows/codeql.yml | 5 ++++- .github/workflows/test-build.yml | 12 ++++++++++++ 2 files changed, 16 insertions(+), 1 deletion(-) diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index 3a9f0b01d..90e63924e 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -24,7 +24,10 @@ jobs: languages: cpp queries: security-extended,security-and-quality - - name: Build + - name: Build Verific + run: cd verific/tclmain && make -j6 + + - name: Build Yosys run: make yosys -j6 ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0 - name: Perform CodeQL Analysis diff --git a/.github/workflows/test-build.yml b/.github/workflows/test-build.yml index 98fcf53b9..4ebcef064 100644 --- a/.github/workflows/test-build.yml +++ b/.github/workflows/test-build.yml @@ -51,6 +51,9 @@ jobs: - name: Setup environment uses: ./.github/actions/setup-build-env + - name: Build Verific + run: cd verific/tclmain && make -j$procs + - name: Build shell: bash run: | @@ -146,6 +149,9 @@ jobs: run: | ./yosys-config || true + - name: Build Verific + run: cd verific/tclmain && make -j$procs + - name: Run tests shell: bash run: | @@ -192,6 +198,9 @@ jobs: run: | ./yosys-config || true + - name: Build Verific + run: cd verific/tclmain && make -j$procs + - name: Run tests shell: bash run: | @@ -217,6 +226,9 @@ jobs: run: | echo "procs=$(nproc)" >> $GITHUB_ENV + - name: Build Verific + run: cd verific/tclmain && make -j$procs + - name: Build Yosys run: | make config-clang