Skip to content
Back to pull request #152

docs: delete unneeded build_docs.py file #1073

Sign in to view logs

docs: delete unneeded build_docs.py file

docs: delete unneeded build_docs.py file #1073

Run time

Learn about OS pricing on GitHub Actions
Job Run time
linting
53s
functional (ubuntu-latest, 3.10)
1m 3s
type-check
1m 15s
functional (ubuntu-latest, 3.11)
59s
functional (ubuntu-latest, 3.12)
1m 12s
functional (macos-latest, 3.10)
2m 12s
functional (macos-latest, 3.11)
2m 58s
functional (macos-latest, 3.12)
2m 46s
13m 18s