Merge tag '13.0.1'

Author: aaugustin

.github/workflows/release.yml

@@ -71,6 +71,8 @@ jobs:
     # Don't release when running the workflow manually from GitHub's UI.
     if: github.event_name == 'push' && startsWith(github.ref, 'refs/tags/')
     permissions:
+      id-token: write
+      attestations: write
       contents: write
     steps:
       - name: Download artifacts
@@ -79,6 +81,10 @@ jobs:
           pattern: dist-*
           merge-multiple: true
           path: dist
+      - name: Attest provenance
+        uses: actions/attest-build-provenance@v1
+        with:
+          subject-path: dist/*
       - name: Upload to PyPI
         uses: pypa/gh-action-pypi-publish@release/v1
       - name: Create GitHub release

MANIFEST.in

@@ -1,2 +1,3 @@
 include LICENSE
 include src/websockets/py.typed
+include src/websockets/speedups.c  # required when BUILD_EXTENSION=no

docs/project/changelog.rst

@@ -56,6 +56,16 @@ New features
 * Made the set of active connections available in the :attr:`Server.connections
   <asyncio.server.Server.connections>` property.
 
+13.0.1
+------
+
+*August 28, 2024*
+
+Bug fixes
+.........
+
+* Restored the C extension in the source distribution.
+
 .. _13.0:
 
 13.0