From 0ad5e245dd130d66a0a16663116ad0c1fe7a8956 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jean-Fran=C3=A7ois=20Nguyen?= <jf@jfng.fr>
Date: Fri, 28 Jun 2024 12:15:39 +0200
Subject: [PATCH] Migrate to Amaranth 0.5.

---
 .github/workflows/main.yaml | 1 +
 pyproject.toml              | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index 076f72f..5a48f62 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -22,6 +22,7 @@ jobs:
         - 'pypy-3.10'
         # this version range needs to be synchronized with the one in pyproject.toml
         amaranth-version:
+        - '0.5'
         - 'git'
         allow-failure:
           - false
diff --git a/pyproject.toml b/pyproject.toml
index 22d910f..761e9ac 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -14,7 +14,7 @@ license = {file = "LICENSE.txt"}
 requires-python = "~=3.8"
 dependencies = [
   # this version requirement needs to be synchronized with the one in .github/workflows/main.yml
-  "amaranth@git+https://github.com/amaranth-lang/amaranth",
+  "amaranth>=0.5,<0.6",
 ]
 
 [project.urls]