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",