TypeCheck

Renamed history --output_file to --output-file to follow common command-line practices #344

Sign in to view logs

Triggered via pull request October 2, 2025 20:42

kmvanbrunt

opened #1527

flag_rename

Status Success

Total duration 51s

Artifacts –

typecheck.yml

on: pull_request

Matrix: type-check