diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/main.yml | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 7de617d..2c14c20 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -22,8 +22,16 @@ jobs: amaranth-version: - '0.3' - 'git' - fail-fast: false - name: 'test (${{ matrix.python-version }}, ${{ matrix.amaranth-version }})' + allow-failure: + - true + - false + exclude: # all of these are inverted (this is unfortunately the best way to do this) + - amaranth-version: '0.3' + allow-failure: false + - amaranth-version: 'git' + allow-failure: true + continue-on-error: '${{ matrix.allow-failure }}' + name: "test (${{ matrix.python-version }}, ${{ matrix.amaranth-version }}${{ matrix.allow-failure == 'false' && ', required' }})" steps: - name: Check out source code uses: actions/checkout@v3 |