TypeCheck

Removed bold from help header and leader text. #530

Sign in to view logs

Triggered via pull request January 26, 2026 15:24

tleonhardt

synchronize #1562

style_update

Status Success

Total duration 1m 29s

Artifacts –

typecheck.yml

on: pull_request

Matrix: type-check