Skip to content
Lint

Change repository name from 'pytorch' to 'executorch' #71644

Sign in to view logs

Change repository name from 'pytorch' to 'executorch'

Change repository name from 'pytorch' to 'executorch' #71644

Run time

Learn about OS pricing on GitHub Actions
Job Run time
android-java-format
10s
Get changed files / get-changed-files
3s
link-check / lint-file-size
10s
link-check / lint-urls
12s
link-check / lint-xrefs
9s
lintrunner
53s
lintrunner-mypy
2m 57s
4m 34s