| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |
|
|
|
|
|
|
|
|
| |
Move CI, dev tools, and configs from root-level scattered locations into
a
unified `dev/` directory structure. Update all references across build
scripts, documentation, and editor configurations.
Also consolidate editor config generation into build.rs for automated
synchronization of rust-analyzer settings across VS Code and Zed.
|
| |
|
|
|
|
| |
Switch from `git diff-index --quiet` to `git diff --quiet` to
refresh the index first, avoiding false change reports from
stale stat records after compilation.
|
| |
|
|
|
|
| |
Store dirty workspace changes in a temporary commit so `git-unlock` can
restore them, with the marker file content (`true`/`false`) recording
which restore path to take.
|
|
|
Add temporary commit and restore commands to stabilize the workspace
during CI runs, with safety checks and error handling.
|
