aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorCatherine <whitequark@whitequark.org>2023-08-08 13:24:06 +0000
committerCatherine <whitequark@whitequark.org>2023-08-08 14:46:34 +0100
commita63fc078c2e6905142ed0dcee32e386dfefc6106 (patch)
tree6065bc1823316b8d2d0a7bcc692bb1303683e895 /.github
parentd843a7c1ec67cc8865a6c0fe6e6bcb00f05d2232 (diff)
CI: allow failure on Amaranth 0.3 builds.
This is because Amaranth 0.3 does not have `vendor.gowin`.
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/main.yml12
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