This website requires JavaScript.
Explore
Pricing
Help
Sign In
hanzoai
/
dev
Watch
2
Star
0
Fork
0
mirror of
https://github.com/hanzoai/dev.git
synced
2026-10-25 03:32:32 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
c4ce551883a0a3ad8589f5809f9ccffa3ef9f476
dev
/
scripts
T
History
just-every-code
c4ce551883
Merge remote-tracking branch 'origin/main' into upstream-merge
2025-09-10 02:39:25 +00:00
..
upstream-merge
merge(upstream): merge upstream/main into upstream-merge with policy
2025-09-10 01:15:15 +00:00
ci-tests.sh
ci(release): add preflight E2E tests and per-target post-build smokes; fix duplicate workflow block
2025-09-09 10:59:49 +10:00
generate-homebrew-formula.sh
fix(tui/input): normalize KeyEvent kind on non-enhanced terminals to restore typing on Git Bash/mintty (Windows)
2025-09-03 21:44:29 +10:00
upgrade_spinners.rs
ux(spinners): keep grouped order and render group headers as dim title rows; add selector arrow back\n\n- Sort spinners by (group,name) from JSON (grouped or flat)\n- Spinner list shows dim group header rows (non-selectable) between groups\n- Selected row gets '› ' arrow and info-colored preview; others dim\n- Add Node script to upgrade spinners.json to grouped format with labels
2025-09-10 12:11:41 +10:00
upgrade-spinners.js
ux(spinners): keep grouped order and render group headers as dim title rows; add selector arrow back\n\n- Sort spinners by (group,name) from JSON (grouped or flat)\n- Spinner list shows dim group header rows (non-selectable) between groups\n- Selected row gets '› ' arrow and info-colored preview; others dim\n- Add Node script to upgrade spinners.json to grouped format with labels
2025-09-10 12:11:41 +10:00