aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorJean-François Nguyen <jf@jfng.fr>2024-10-18 11:48:34 +0200
committerCatherine <whitequark@whitequark.org>2024-10-18 11:19:26 +0100
commit23c66d68045831de0a372c8c237274d74c71ef4e (patch)
tree1c08962f2e904236b712485892807235c18159ab /.github/workflows
parentd2caa61a1ceb851da8e4e1109fddc56dc29e05ec (diff)
Drop compatibility with Amaranth 0.4.
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/main.yml3
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index b43fbba..eb396bf 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -21,14 +21,13 @@ jobs:
- 'pypy-3.10'
# this version range needs to be synchronized with the one in pyproject.toml
amaranth-version:
- - '0.4'
- '0.5'
- 'git'
allow-failure:
- true
- false
exclude: # all of these are inverted (this is unfortunately the best way to do this)
- - amaranth-version: '0.4'
+ - amaranth-version: '0.5'
allow-failure: false
- amaranth-version: 'git'
allow-failure: true