Type Check

port two prompts to tools #65

Sign in to view logs

Triggered via pull request October 17, 2025 18:29

huozhi

opened #28

port-tools

Status Success

Total duration 31s

Artifacts –

typecheck.yml

on: pull_request