diff options
| author | Catherine <whitequark@whitequark.org> | 2023-02-03 05:53:31 +0000 |
|---|---|---|
| committer | Catherine <whitequark@whitequark.org> | 2023-02-03 05:56:13 +0000 |
| commit | a4969b95f5be3138ef868b68f80162e20cfa0e57 (patch) | |
| tree | 836289551e2db126b2c8526506ae9f0fda33888a /.github | |
| parent | 2be8e79dcaeacf26fd9ee5329694e4c32d0a379c (diff) | |
CI: test against all supported Amaranth versions.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/main.yml | 22 |
1 files changed, 21 insertions, 1 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 61b5332..b977303 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -3,11 +3,31 @@ name: CI jobs: test: runs-on: ubuntu-latest + strategy: + matrix: + python-version: + - '3.7' + # this version range needs to be synchronized with the one in pyproject.toml + amaranth-version: + - '0.2' + - '0.3' + - 'git' + fail-fast: false steps: - name: Check out source code uses: actions/checkout@v3 - name: Set up Python uses: actions/setup-python@v4 + with: + python-version: ${{ matrix.python-version }} + - name: Install Amaranth release + if: ${{ matrix.amaranth-version != 'git' }} + run: | + pip install 'amaranth==${{ matrix.amaranth-version }}' + - name: Install Amaranth from git + if: ${{ matrix.amaranth-version == 'git' }} + run: | + pip install git+https://github.com/amaranth-lang/amaranth.git - name: Test run: | - python setup.py test + python -m unittest discover -t . -s amaranth_boards -p '*.py' |