Skip to content
TypeCheck

Fix broken example and improve some documentation #1201

Sign in to view logs

Fix broken example and improve some documentation

Fix broken example and improve some documentation #1201

Triggered via pull request August 25, 2026 21:55
@tleonhardttleonhardt
synchronize #1735
startup_commands-doc-updates
Status Failure
Total duration 57s
Artifacts –

typecheck.yml

on: pull_request
Matrix: type-check
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 7 warnings
TypeCheck
Internal server error. Correlation ID: 99ca379f-afdc-40ec-b6e9-d6f402c33796
type-check (3.11)
Failed to download archive 'https://internal-api.service.iad.github.net/repos/astral-sh/setup-uv/tarball/37802adc94f370d6bfd71619e3f0bf239e1f3b78' after 3 attempts.
type-check (3.11)
Name or service not known (internal-api.service.iad.github.net:443)
type-check (3.12)
Failed to download from mirror, falling back to GitHub Releases: Unexpected HTTP response: 404
type-check (3.14)
Failed to download from mirror, falling back to GitHub Releases: Unexpected HTTP response: 404
type-check (3.13)
Failed to download from mirror, falling back to GitHub Releases: Unexpected HTTP response: 404
type-check (3.11)
Back off 24.264 seconds before retry.
type-check (3.11)
Failed to download action 'https://internal-api.service.iad.github.net/repos/astral-sh/setup-uv/tarball/37802adc94f370d6bfd71619e3f0bf239e1f3b78'. Error: Name or service not known (internal-api.service.iad.github.net:443)
type-check (3.11)
Back off 26.011 seconds before retry.
type-check (3.11)
Failed to download action 'https://internal-api.service.iad.github.net/repos/astral-sh/setup-uv/tarball/37802adc94f370d6bfd71619e3f0bf239e1f3b78'. Error: Name or service not known (internal-api.service.iad.github.net:443)