Dominik Jain
|
ef135686c1
|
Disable sponsor display/rotation
|
2025-11-06 21:03:41 +01:00 |
|
Dominik Jain
|
92774c6e10
|
Add more CSS vars, improving log window height calculation
|
2025-11-06 20:54:42 +01:00 |
|
Dominik Jain
|
195dbee6de
|
Make sponsor image 1px border configurable in manifest
|
2025-11-06 20:54:11 +01:00 |
|
Dominik Jain
|
4a5fde51fd
|
Update sponsors manifest URL
|
2025-11-06 20:22:52 +01:00 |
|
Dominik Jain
|
0c473527bc
|
Define minimum width
|
2025-11-06 18:54:59 +01:00 |
|
Dominik Jain
|
71320c8dfd
|
Fix random padding/margins, making content and header the same size
|
2025-11-06 18:49:25 +01:00 |
|
Dominik Jain
|
960a3cb894
|
Align heights of menu/theme buttons, fix button and menu positions
|
2025-11-06 18:32:22 +01:00 |
|
Dominik Jain
|
cb2b921326
|
Add sponsor links
|
2025-11-06 18:25:19 +01:00 |
|
Dominik Jain
|
28f90481fd
|
Factorise sponsor element generation
|
2025-11-06 18:20:53 +01:00 |
|
Dominik Jain
|
4c0ed00042
|
Remove obsolete sponsor styles
|
2025-11-06 18:14:55 +01:00 |
|
Dominik Jain
|
8f0d87e37d
|
Load sponsor data dynamically (from hades)
|
2025-11-06 18:13:01 +01:00 |
|
Dominik Jain
|
68bbcc64a9
|
Simplify sponsor rotation JS code, fixing duplication
|
2025-11-06 18:13:01 +01:00 |
|
Dominik Jain
|
816e24bc03
|
Improve sponsor styles
|
2025-11-06 18:13:01 +01:00 |
|
Michael Panchenko
|
ac25c05220
|
Sponsor banners with images
|
2025-11-06 18:12:58 +01:00 |
|
Michael Panchenko
|
5b6b6cac20
|
Better positioning of sponsor banners
|
2025-11-05 19:04:42 +07:00 |
|
Michael Panchenko
|
234aba4aba
|
Demo for sponsor banners
|
2025-11-05 13:39:25 +07:00 |
|
Michael Panchenko
|
bb1cc5c33e
|
Merge pull request #723 from tylersatre/main
Fix memory name parameter inconsistency
|
2025-11-05 06:22:20 +01:00 |
|
Tyler Satre
|
51dac55dfb
|
Consistent parameter name
|
2025-11-04 12:54:29 -05:00 |
|
Michael Panchenko
|
5cb3bf9a88
|
Dashboard: don't rebuild html if config data hasn't changed
|
2025-10-31 17:46:51 +01:00 |
|
Michael Panchenko
|
23daf48589
|
Improved button styles
|
2025-10-31 17:18:16 +01:00 |
|
Michael Panchenko
|
9c77079302
|
Dashboard: allow editing serena_config.yml
|
2025-10-31 17:07:13 +01:00 |
|
MischaPanch
|
2ef79df7c6
|
Changelog
|
2025-10-31 16:23:19 +01:00 |
|
Michael Panchenko
|
fe824a15e9
|
Merge pull request #717 from oraios/dashboard_extensions
Dashboard extensions, in particular task queue management
|
2025-10-31 14:09:27 +01:00 |
|
MischaPanch
|
7d836173fc
|
Declutter task cancelling
|
2025-10-31 13:18:07 +01:00 |
|
MischaPanch
|
322348ea51
|
Feature: cancelling executions through dashboard
|
2025-10-31 13:04:53 +01:00 |
|
MischaPanch
|
99d75be125
|
Added endpoints for info about tasks to dashboard backend
|
2025-10-31 00:27:02 +01:00 |
|
MischaPanch
|
f061cebce8
|
Missing closing div
|
2025-10-30 23:33:13 +01:00 |
|
MischaPanch
|
6fc42483d4
|
Merge remote-tracking branch 'origin/cancelable-tasks' into dashboard_extesions
|
2025-10-30 23:30:44 +01:00 |
|
Dominik Jain
|
fcd4e6d90c
|
Move TaskExecutor tests to a separate test file
|
2025-10-30 23:03:06 +01:00 |
|
Dominik Jain
|
854bb97710
|
Handle TimeoutError in tool execution
|
2025-10-30 21:42:00 +01:00 |
|
Dominik Jain
|
04c9a680ea
|
Improve timeout handling of tasks,
* allowing a timeout to be passed at task construction
* using the given timeout (if any) for the task queue itself and for result retrieval
|
2025-10-30 21:36:26 +01:00 |
|
Dominik Jain
|
34dd560d2c
|
Rename module task_queue -> task_executor
|
2025-10-30 21:18:50 +01:00 |
|
Dominik Jain
|
8272e4e20c
|
Factor out TaskExecutor from SerenaAgent
|
2025-10-30 21:18:29 +01:00 |
|
Dominik Jain
|
8ef2659910
|
Split history src/serena/agent.py to src/serena/task_queue.py - restore name of source-file
|
2025-10-30 21:04:49 +01:00 |
|
Dominik Jain
|
e3a87384d0
|
Split history src/serena/agent.py to src/serena/task_queue.py - resolve conflict and keep both files
|
2025-10-30 21:04:48 +01:00 |
|
Dominik Jain
|
6e34eb674c
|
Split history src/serena/agent.py to src/serena/task_queue.py - rename source-file to git-split-temp
|
2025-10-30 21:04:48 +01:00 |
|
Dominik Jain
|
d7e294ed6f
|
Split history src/serena/agent.py to src/serena/task_queue.py - rename file to target-name
|
2025-10-30 21:04:47 +01:00 |
|
Dominik Jain
|
aa21e9ffd0
|
Add Task.wait_until_doen
|
2025-10-30 21:02:48 +01:00 |
|
Dominik Jain
|
7aa1df2e41
|
Improve tests for task cancellation (testing before & during execution)
|
2025-10-30 20:43:44 +01:00 |
|
Dominik Jain
|
840ef02c71
|
SerenaAgent.get_current_tasks: Exclude completes/cancelled tasks
|
2025-10-30 20:05:33 +01:00 |
|
Dominik Jain
|
7bef2b21b5
|
Handle cancellation before execution
|
2025-10-30 19:47:41 +01:00 |
|
Dominik Jain
|
a85d54f3a5
|
Allow logging of task management to be disabled
|
2025-10-30 18:18:55 +01:00 |
|
Dominik Jain
|
b5e5af54a5
|
Use an inspectable list as the task queue,
adding a way to retrieve the current list of tasks (for the dashboard)
|
2025-10-30 18:13:28 +01:00 |
|
Dominik Jain
|
d59c748929
|
Allow to cancel a task in the task queue via the Future,
executing every task in a separate thread
|
2025-10-30 17:15:26 +01:00 |
|
MischaPanch
|
85af1a3fd6
|
Support for adding memories and copying logs through dashboard
|
2025-10-30 17:09:01 +01:00 |
|
MischaPanch
|
ba2439bcb7
|
Made dashboard thread safe
|
2025-10-30 16:46:39 +01:00 |
|
Michael Panchenko
|
84d9d866c3
|
Merge pull request #715 from oraios/dashboard/edit-memories
dashboard/edit-memories
|
2025-10-30 14:13:25 +01:00 |
|
MischaPanch
|
b9eb69bb5e
|
Dashboard: improve display when serena is busy with adding an LS
Spinner was wrongly hidden, add language button was wrongly shown
[ci skip]
|
2025-10-30 14:13:00 +01:00 |
|
MischaPanch
|
14f12c4cb0
|
Merge branch 'main' of github.com:oraios/serena
Conflicts:
src/serena/agent.py
src/serena/resources/dashboard/dashboard.css
src/serena/resources/dashboard/dashboard.js
src/serena/resources/dashboard/index.html
|
2025-10-30 13:26:40 +01:00 |
|
Dominik Jain
|
c1f8ff9fa8
|
Fix mypy issues
|
2025-10-30 13:01:24 +01:00 |
|