dissertation_thesis/ariths-gen
1
0
Fork 0
mirror of https://github.com/ehw-fit/ariths-gen.git synced 2025-04-10 17:22:11 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

workflow

Browse Source
This commit is contained in:
Vojta 2025-01-15 13:32:05 +01:00
parent 1d3c8a0753
commit b9dc122ebc
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
.github/workflows/generate.yml vendored
View File

@ -17,7 +17,9 @@ jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/checkout@v4
- name: Install iverilog
run: sudo apt install iverilog minisat
- name: Set up Python 3.x
uses: actions/setup-python@v5
with:
@ -132,7 +134,10 @@ jobs:
with:
python-version: ${{ matrix.python-version }}
architecture: x64
- run: python -m pip install numpy pytest minisat
- name: Install iverilog and minisat
run: sudo apt install iverilog minisat
- run: python -m pip install numpy pytest
- name: Run pytest
run: |
pytest