From b30c87fa3eeef0373a6abf68e456f5eef4154790 Mon Sep 17 00:00:00 2001
From: Catherine <whitequark@whitequark.org>
Date: Thu, 15 Feb 2024 19:50:31 +0000
Subject: [PATCH] pyproject: suppress superfluous warning.

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

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index 125e640..34895cb 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -69,6 +69,8 @@ jobs:
           git fetch --tags https://github.com/amaranth-lang/amaranth.git
       - name: Set up PDM
         uses: pdm-project/setup-pdm@v4
+        with:
+          python-version: '3.12'
       - name: Install dependencies
         run: |
           pdm install --dev
@@ -88,6 +90,8 @@ jobs:
         uses: actions/checkout@v4
       - name: Set up PDM
         uses: pdm-project/setup-pdm@v4
+        with:
+          python-version: '3.12'
       - name: Install dependencies
         run: |
           pdm install --dev
diff --git a/pyproject.toml b/pyproject.toml
index 139a570..972336c 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -39,6 +39,10 @@ amaranth-rpc = "amaranth.rpc:main"
 requires = ["pdm-backend"]
 build-backend = "pdm.backend"
 
+[tool.pdm]
+# Remove this once we no longer support Python 3.8.
+ignore_package_warnings = ["sphinx*"]
+
 [tool.pdm.build]
 # If amaranth 0.3 is checked out with git (e.g. as a part of a persistent editable install or
 # a git worktree cached by tools like poetry), it can have an empty `nmigen` directory left over,