Merge branch 'main' into besendorf-patch-5

This commit is contained in:
besendorf
2026-09-22 15:34:36 +02:00
committed by GitHub
2 changed files with 5 additions and 0 deletions
+1
View File
@@ -34,6 +34,7 @@ jobs:
publish:
if: github.ref_type == 'tag'
runs-on: ubuntu-latest
environment: pypi # only tag refs may deploy; the PyPI trusted publisher requires it
permissions:
id-token: write # PyPI trusted publishing
steps:
+4
View File
@@ -0,0 +1,4 @@
prune tests
prune docs
prune .github
exclude uv.lock Dockerfile* mkdocs.yml .readthedocs.yaml .safety-policy.yml .python-version .gitignore Makefile