Skip to content

fix: truncate long ZID in user header #3780

fix: truncate long ZID in user header

fix: truncate long ZID in user header #3780

Triggered via pull request February 9, 2025 05:48
Status Success
Total duration 56s
Artifacts

run-typecheck.yml

on: pull_request
run-typecheck
49s
run-typecheck
Fit to window
Zoom out
Zoom in