Skip to content
Deploy to GitHub Pages

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

Sign in to view logs

fix: drop unused HOTKEYS import that failed CI lint

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

Triggered via push July 12, 2026 13:39
@lyehelyehe
pushed f4d9bd3
v0.9.6
Status Success
Total duration 10m 57s
Artifacts –

deploy.yml

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