Skip to content

Merge remote-tracking branch 'origin/min-tui' into optimization #291

Merge remote-tracking branch 'origin/min-tui' into optimization

Merge remote-tracking branch 'origin/min-tui' into optimization #291

Triggered via push November 14, 2024 14:20
Status Success
Total duration 23s
Artifacts

typos.yml

on: push
check-typos
12s
check-typos
Fit to window
Zoom out
Zoom in