Simplify some GitHub workflows

.github/workflows/publish.yml

@@ -26,16 +26,10 @@ jobs:
       contents: write
     steps:
       - uses: actions/checkout@v4
-      - name: Set up Python
-        uses: actions/setup-python@v5
-        with:
-          python-version: "3.12"
       - name: Install uv
         uses: astral-sh/setup-uv@v3
         with:
           version: "latest"
-      - run: uv pip install build --system
-      - run: uv pip freeze
       - if: ${{ github.event_name != 'push' }}
         env:
           GITHUB_TOKEN: ${{ github.token }}
@@ -48,7 +42,7 @@ jobs:
           git push --tags
           gh release create $DATE --notes "Automated weekly release"
       - name: Build a binary wheel and a source tarball
-        run: python -m build --outdir dist/ .
+        run: uv build
       - name: Publish distribution to PyPI
         if: ${{ github.event_name != 'push' || startsWith(github.ref, 'refs/tags') }}
-        uses: pypa/gh-action-pypi-publish@release/v1
+        run: uv publish

.github/workflows/typecheck.yml

@@ -56,7 +56,7 @@ jobs:
       - name: Run pyright
         uses: jakebailey/pyright-action@v2
         with:
-          version: "1.1.331"
+          version: PATH
 
   create-issue-on-failure:
     name: Create an issue if daily typecheck failed

pyproject.toml

@@ -63,6 +63,7 @@ dev = [
     "covdefaults==2.3.0",
     "coverage==7.6.1",
     "Markdown>=3,<4",
+    "pyright==1.1.331",
     "pytest==8.3.3",
     "pytest-antilru==2.0.0",
     "pytest-asyncio==0.24.0",