Skip to content
Deploy to GitHub Pages

fix: drop unused HOTKEYS import that failed CI lint #181

Sign in to view logs

fix: drop unused HOTKEYS import that failed CI lint

fix: drop unused HOTKEYS import that failed CI lint #181

Triggered via push July 12, 2026 13:39
@lyehelyehe
pushed f4d9bd3
main
Status Success
Total duration 5m 3s
Artifacts –

deploy.yml

on: push
deploy
5m 0s
deploy
Fit to window
Zoom out
Zoom in