Skip to content
Back to pull request #6524

PR: reduce resource name size to avoid overlapping the download button #485

Sign in to view logs

PR: reduce resource name size to avoid overlapping the download button

PR: reduce resource name size to avoid overlapping the download button #485

Run time

Learn about OS pricing on GitHub Actions
Job Run time
typecheck
3m 21s
3m 21s