Deploy documentation

Enable mypy parallel workers in pre-commit #1187

Sign in to view logs

Triggered via pull request May 7, 2026 12:10

opened #3149

chore/enable-mypy-parallel-workers

Status Success

Total duration 2m 17s

Artifacts –

publish-site.yml

on: pull_request