diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index 9e4adbf..8840e12 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -8,7 +8,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        python-version: ['3.7', '3.8', '3.9', '3.10', pypy3]
+        python-version: ['3.7', '3.8', '3.9', '3.10', 'pypy-3.7-v7.3.3']
     steps:
     - name: Check out source code
       uses: actions/checkout@v2
diff --git a/docs/install.rst b/docs/install.rst
index 8cb10d3..e8d07e3 100644
--- a/docs/install.rst
+++ b/docs/install.rst
@@ -6,7 +6,7 @@ System requirements
 
 .. |yosys-version| replace:: 0.10 (or newer)
 
-Amaranth HDL requires Python 3.7; it works on CPython_ 3.7 (or newer), and works faster on PyPy3.7_ 7.3.2 (or newer).
+Amaranth HDL requires Python 3.7; it works on CPython_ 3.7 (or newer), and works faster on PyPy3.7_ 7.3.3 (or newer).
 
 For most workflows, Amaranth requires Yosys_ |yosys-version|. A compatible version of Yosys is distributed via PyPI_ for most popular platforms.