[Types] Sum prototype (#1367) #3966
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # This workflow will install Python dependencies, run tests and lint with a single version of Python | |
| # For more information see: https://help.github.com/actions/language-and-framework-guides/using-python-with-github-actions | |
| name: Linux Test | |
| on: | |
| push: | |
| pull_request: | |
| jobs: | |
| test: | |
| runs-on: ubuntu-latest | |
| strategy: | |
| matrix: | |
| python-version: ['3.8', '3.10'] | |
| steps: | |
| - uses: actions/checkout@v2 | |
| - name: Set up Python ${{ matrix.python-version }} | |
| uses: actions/setup-python@v2 | |
| with: | |
| python-version: ${{ matrix.python-version }} | |
| - name: Install dependencies | |
| run: | | |
| sudo apt-get update | |
| sudo apt install -y verilator libgmp-dev libmpfr-dev libmpc-dev | |
| python -m pip install --upgrade pip | |
| # BEGIN: Temp fix, see | |
| # https://github.com/henry0312/pytest-pycodestyle/issues/97 | |
| python -m pip install py | |
| # END: Temp fix | |
| python -m pip install . | |
| python -m pip install flake8 pytest pytest-cov pytest-pycodestyle | |
| python -m pip install importlib-resources | |
| - name: Test without optional dependencies | |
| run: | | |
| # Quick check to make sure mlir works without coreir installed | |
| py.test tests/test_backend/test_mlir | |
| - name: Test with optional dependencies | |
| run: | | |
| python -m pip install kratos coreir fault | |
| # Measure full coverage here with optional dependencies | |
| py.test --cov magma -v --cov-report term-missing tests | |
| pycodestyle magma/ | |
| - name: Smoke test package | |
| run: | | |
| pushd /tmp | |
| python -c "import magma" | |
| popd | |
| - name: Test examples | |
| run: | | |
| cd examples | |
| # TODO(leonardt): Merge with top-level coverage | |
| pip install pylfsr | |
| pytest --pycodestyle tests/ . --ignore=riscv_mini | |
| cd - | |
| - name: Test icebreaker | |
| run: | | |
| cd examples/icebreaker-workshop/stopwatch | |
| # TODO(leonardt): Merge with top-level coverage | |
| pytest --pycodestyle stopwatch.py test_stopwatch.py | |
| cd - | |
| - name: Test riscv_mini | |
| run: | | |
| cd examples/riscv_mini | |
| # TODO(leonardt): Merge with top-level coverage | |
| pytest --pycodestyle tests/ riscv_mini/ | |
| cd - | |
| - name: Upload coverage | |
| run: | | |
| bash <(curl -s https://codecov.io/bash) |