TypeCheck

Remove dependency on Python's built-in cmd module #375

Sign in to view logs

Triggered via pull request December 11, 2025 03:19

tleonhardt

synchronize #1539

remove-dependency-on-cmd

Status Success

Total duration 28s

Artifacts –

typecheck.yml

on: pull_request

Matrix: type-check