d15d6588f7
Improve and fix runner API
...
- The server now also signals abort_work if the commit is no longer in
the queue.
- The server now immediately reserves the work it gives to the worker,
so other idle workers won't get the same work.
- The server now chooses a run id, not the worker. The worker can still
submit work under arbitrary run ids when no id is known, for example
when importing runs from another database.
2023-08-12 13:19:16 +02:00
dd45be98a5
Add todo
2023-08-12 02:33:08 +02:00
9744d5c059
Add todos
2023-08-11 21:47:58 +02:00
48693d3f1c
Add "Enqueue" button to commits
2023-08-11 16:50:32 +02:00
5e0b8e3c8c
Store finished work in db
2023-08-11 15:16:20 +02:00
a9e08505bc
Stream repo and bench repo worktree tars
2023-08-11 14:42:39 +02:00
6f4793bcf2
Rename runners to workers
2023-08-11 02:12:38 +02:00
7911a67906
Overhaul runner protocol
...
The JSON should now be nicer to work with.
2023-08-11 02:12:38 +02:00
b16b3a668e
Fix runners not disappearing
2023-08-11 02:12:38 +02:00
2079d0b12d
Fix /api/runner/status
2023-08-11 02:12:38 +02:00
f3d646c8d5
List runners in queue
2023-08-10 23:04:34 +02:00
c3c597897c
Add typed commit links
2023-08-10 22:04:30 +02:00
0253d2d90b
Add /runner/:name endpoint
2023-08-10 21:26:57 +02:00
d5a41abaff
Remove /commit/ endpoint
2023-08-10 20:40:41 +02:00
c713abc5d3
Implement /api/runner/status
2023-08-10 18:47:44 +02:00
e5de9ccb97
Identify queue items by commit hash, not id
2023-08-09 16:20:20 +02:00
7635af88cd
Move util module to server module
2023-08-07 14:51:26 +02:00
45abda2b6d
Move server code into its own module
2023-08-07 14:23:47 +02:00
