|
|
44deacb3f4
|
fix: remove workdir management kind
|
2026-07-22 20:52:09 +09:00 |
|
|
|
5e91f98ae0
|
dev: enable default ticket tools and workdir helpers
|
2026-07-18 17:32:46 +09:00 |
|
|
|
49f085916e
|
runtime: remove runtime-owned id
|
2026-07-13 17:38:09 +09:00 |
|
|
|
59b1b3df79
|
workspace: gate workdir assignment
|
2026-07-12 20:07:32 +09:00 |
|
|
|
21802d68f8
|
workspace: finalize workdir deletion flow
|
2026-07-12 16:33:14 +09:00 |
|
|
|
52cccc7f2f
|
workspace: track workdir observation state
|
2026-07-12 12:32:24 +09:00 |
|
|
|
c5aae4b234
|
workspace: use opaque numeric worker ids
|
2026-07-12 05:07:39 +09:00 |
|
|
|
8695089fba
|
fix: sync backend worker registry projections
|
2026-07-11 02:13:00 +09:00 |
|
|
|
3e5546ea33
|
feat: add backend worker workdir registry
|
2026-07-11 01:38:23 +09:00 |
|
|
|
fa233ba025
|
runtime: own working directories
|
2026-07-09 19:04:37 +09:00 |
|
|
|
1688f2a640
|
fix: separate profile base from working directory
|
2026-07-08 18:03:55 +09:00 |
|
|
|
25900f31cf
|
refactor: remove working directory allocation terminology
|
2026-07-08 04:56:22 +09:00 |
|
|
|
40463b6133
|
refactor: rename execution workspace to working directory
|
2026-07-08 01:14:14 +09:00 |
|
