 Dominik Jain
|
9dbbfe60b8
|
Improve docs on 'Running Serena'
|
2025-11-07 20:54:38 +01:00 |
|
|
Dominik Jain
|
f958031555
|
Add/improve docs on dashboard/GUI tool
|
2025-11-07 20:50:09 +01:00 |
|
|
Dominik Jain
|
1ec18595be
|
Add/improve docs on security
|
2025-11-07 20:43:36 +01:00 |
|
|
Dominik Jain
|
774333befc
|
Improve docs on contexts and modes
|
2025-11-07 20:30:17 +01:00 |
|
|
Dominik Jain
|
c2b456a862
|
Restructure docs, improve texts (particular for Running Serena)
|
2025-11-07 20:15:43 +01:00 |
|
|
Dominik Jain
|
faf3441ab2
|
Add content from README in docs structure
|
2025-11-07 18:00:00 +01:00 |
|
|
Dominik Jain
|
9c506d0097
|
Initial setup for jupyterbook build
|
2025-11-07 14:29:35 +01:00 |
|
|
Dominik Jain
|
c3827d9d57
|
Apply formatter
|
2025-11-06 21:04:17 +01:00 |
|
|
Dominik Jain
|
e3128280e5
|
Merge branch 'sponsor-rotation'
|
2025-11-06 21:03:59 +01:00 |
|
|
Dominik Jain
|
ef135686c1
|
Disable sponsor display/rotation
|
2025-11-06 21:03:41 +01:00 |
|
|
Dominik Jain
|
234cc87679
|
Merge branch 'cancelable-tasks'
|
2025-11-06 21:00:03 +01:00 |
|
|
Dominik Jain
|
19313fea56
|
Improve task cancellation test
|
2025-11-06 20:58:33 +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 |
|