Skip to content
Main

Support selecting ty as the type checker #116

Sign in to view logs

Support selecting ty as the type checker

Support selecting ty as the type checker #116

Triggered via pull request July 30, 2025 10:32
@zrquanzrquan
opened #70
zrquan:feat-ty
Status Success
Total duration 42s
Artifacts –

main.yml

on: pull_request
quality
15s
quality
check-docs
11s
check-docs
Matrix: tests-and-type-check
Fit to window
Zoom out
Zoom in

Annotations

14 warnings
check-docs
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0vvSJaAAAAACvoRkFjslASKnfuPqoK9hMQkwyQUEyMDMwMTA4MDA5AEVkZ2U=
check-docs
Failed to restore: Cache service responded with 400
quality
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0wvSJaAAAAAC2YzLQeoaJSrrqIeFEvgT1UEhYMzFFREdFMDUwNwBFZGdl
quality
Failed to restore: Cache service responded with 400
tests-and-type-check (3.11)
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>02PSJaAAAAADa55EIwHiCRpl/DVRcrMpZQ0gxRURHRTEwMTQARWRnZQ==
tests-and-type-check (3.11)
Failed to restore: Cache service responded with 400
tests-and-type-check (3.10)
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>02PSJaAAAAABR9IgN2idAQKqs5R/hDkHCRE0yRURHRTA3MDkARWRnZQ==
tests-and-type-check (3.10)
Failed to restore: Cache service responded with 400
tests-and-type-check (3.13)
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>02fSJaAAAAACf0ml0/EF2RIzpiPsQI3aLQkwyQUEyMDMwMTA2MDE5AEVkZ2U=
tests-and-type-check (3.13)
Failed to restore: Cache service responded with 400
tests-and-type-check (3.9)
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>02fSJaAAAAACvb2IAsRc4Srp5BkHvn7LdQkwyQUEyMDMwMTEwMDQ1AEVkZ2U=
tests-and-type-check (3.9)
Failed to restore: Cache service responded with 400
tests-and-type-check (3.12)
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>02fSJaAAAAADyl7Ike8gxQqVSMtBu7ezvQkwyQUEyMDMwMTA3MDQ1AEVkZ2U=
tests-and-type-check (3.12)
Failed to restore: Cache service responded with 400