TypeCheck

Removed bold from help header and leader text. #526

Sign in to view logs

Triggered via pull request January 26, 2026 14:34

tleonhardt

synchronize #1562

style_update

Status Success

Total duration 1m 18s

Artifacts –

typecheck.yml

on: pull_request

Matrix: type-check