Skip to content

Improve key handling in TUI, fixes #875 #570

Improve key handling in TUI, fixes #875

Improve key handling in TUI, fixes #875 #570

Triggered via pull request October 23, 2023 14:47
Status Success
Total duration 40s
Artifacts

hlint.yaml

on: pull_request
Fit to window
Zoom out
Zoom in