|
companion.rs
|
ui: move workers list to page
|
2026-07-10 12:06:10 +09:00 |
|
config.rs
|
feat: add workspace repository registry
|
2026-07-05 04:57:52 +09:00 |
|
hosts.rs
|
runtime: preserve typed workdir errors
|
2026-07-13 20:17:09 +09:00 |
|
identity.rs
|
feat: add explicit workspace init
|
2026-07-02 18:20:38 +09:00 |
|
lib.rs
|
fix: harden profile settings validation
|
2026-07-08 22:06:12 +09:00 |
|
main.rs
|
feat: manage workspace backend local config
|
2026-07-02 21:02:45 +09:00 |
|
records.rs
|
feat: add repository objective pages
|
2026-06-22 02:21:51 +09:00 |
|
repositories.rs
|
fix: derive repository UI from registry
|
2026-07-05 05:10:23 +09:00 |
|
resource_broker.rs
|
runtime: remove runtime-owned id
|
2026-07-13 17:38:09 +09:00 |
|
server.rs
|
workspace: allow not-found workdir cleanup
|
2026-07-13 20:54:33 +09:00 |
|
store.rs
|
workspace: finalize workdir deletion flow
|
2026-07-12 16:33:14 +09:00 |