diff options
| author | Peter Stone <thepeterstone@gmail.com> | 2026-03-15 03:39:49 +0000 |
|---|---|---|
| committer | Peter Stone <thepeterstone@gmail.com> | 2026-03-15 03:39:49 +0000 |
| commit | 6ff67a57d72317360cacd4b41560395ded117d20 (patch) | |
| tree | 39fdc413f3c985dcf13424bbca01eb152d80e3c5 /web/index.html | |
| parent | 43440200facf9f7c51ba4f4638e69e7d651dd50d (diff) | |
feat: fix task failures via sandbox improvements and display commits in Web UI
- Fix ephemeral sandbox deletion issue by passing $CLAUDOMATOR_PROJECT_DIR to agents and using it for subtask project_dir.
- Implement sandbox autocommit in teardown to prevent task failures from uncommitted work.
- Track git commits created during executions and persist them in the DB.
- Display git commits and changestats badges in the Web UI execution history.
- Add badge counts to Web UI tabs for Interrupted, Ready, and Running states.
- Improve scripts/next-task to handle QUEUED tasks and configurable DB path.
Diffstat (limited to 'web/index.html')
| -rw-r--r-- | web/index.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/web/index.html b/web/index.html index 19cba2c..59bc56e 100644 --- a/web/index.html +++ b/web/index.html @@ -23,9 +23,9 @@ </header> <nav class="tab-bar"> <button class="tab active" data-tab="queue" title="Queue">⏳</button> - <button class="tab" data-tab="interrupted" title="Interrupted">⚠️</button> - <button class="tab" data-tab="ready" title="Ready">✅</button> - <button class="tab" data-tab="running" title="Running">▶️</button> + <button class="tab" data-tab="interrupted" title="Interrupted">⚠️<span class="tab-count-badge" hidden></span></button> + <button class="tab" data-tab="ready" title="Ready">✅<span class="tab-count-badge" hidden></span></button> + <button class="tab" data-tab="running" title="Running">▶️<span class="tab-count-badge" hidden></span></button> <button class="tab" data-tab="all" title="All">☰</button> <button class="tab" data-tab="stats" title="Stats">📊</button> <button class="tab" data-tab="settings" title="Settings">⚙️</button> |