mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-22 13:53:40 +00:00
Code Activity

Fixes

Browse source
This commit is contained in:
Akash Levy 2024-10-19 15:14:12 -07:00
parent 08884ec7e9
commit 9e1ce1e499
2 changed files with 16 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
.github/workflows/codeql.yml vendored
View file

@ -24,7 +24,10 @@ jobs:
languages: cpp languages: cpp
queries: security-extended,security-and-quality 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 run: make yosys -j6 ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0
- name: Perform CodeQL Analysis - name: Perform CodeQL Analysis

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

@ -51,6 +51,9 @@ jobs:
- name: Setup environment - name: Setup environment
uses: ./.github/actions/setup-build-env uses: ./.github/actions/setup-build-env
- name: Build Verific
run: cd verific/tclmain && make -j$procs
- name: Build - name: Build
shell: bash shell: bash
run: | run: |
@ -146,6 +149,9 @@ jobs:
run: | run: |
./yosys-config || true ./yosys-config || true
- name: Build Verific
run: cd verific/tclmain && make -j$procs
- name: Run tests - name: Run tests
shell: bash shell: bash
run: | run: |
@ -192,6 +198,9 @@ jobs:
run: | run: |
./yosys-config || true ./yosys-config || true
- name: Build Verific
run: cd verific/tclmain && make -j$procs
- name: Run tests - name: Run tests
shell: bash shell: bash
run: | run: |
@ -217,6 +226,9 @@ jobs:
run: | run: |
echo "procs=$(nproc)" >> $GITHUB_ENV echo "procs=$(nproc)" >> $GITHUB_ENV
- name: Build Verific
run: cd verific/tclmain && make -j$procs
- name: Build Yosys - name: Build Yosys
run: | run: |
make config-clang make config-clang