Commit graph

34 commits

Author SHA1 Message Date
7e0bf21223 Track and untrack refs 2023-08-18 01:03:14 +02:00
af11d54d0c Add button to batch-queue commits without runs 2023-08-17 19:13:24 +02:00
4f2b0a0b88 Add admin button to update repo 2023-08-17 18:20:37 +02:00
a54e842478 Restructure config file 2023-08-17 00:28:58 +02:00
3c9fc1ce75 Return graph data at /graph/data 2023-08-14 23:45:05 +02:00
b0eb94a02a Add graph tab 2023-08-14 17:49:21 +02:00
8496c557f6 Add option for worker status max body size 2023-08-14 17:45:33 +02:00
2620530cc2 Implement queue task deletion 2023-08-14 12:41:47 +02:00
7f975a1fd0 Implement more /admin/queue/* endpoints 2023-08-14 12:23:22 +02:00
2b6c339c70 Port queue page 2023-08-14 12:23:22 +02:00
a36b188938 Port index page 2023-08-13 23:06:05 +02:00
3bfae9c0ad Port worker page 2023-08-13 23:02:18 +02:00
cf8ab2884f Show finished runs 2023-08-13 22:59:45 +02:00
373b3168f1 Port commit page 2023-08-13 21:26:06 +02:00
db0234b750 Start page reorganization 2023-08-13 20:50:06 +02:00
e64ea7ac12 Make most links typesafe 2023-08-13 20:49:48 +02:00
18e35184a5 Prepare more type-safe linking 2023-08-13 19:53:49 +02:00
4ccf06db8b Use typed paths for all endpoints 2023-08-13 19:30:52 +02:00
058ed2e85c Move typed paths to separate module 2023-08-13 19:30:52 +02:00
3d5a277234 Use typed paths in worker 2023-08-13 16:13:59 +02:00
88d9a1f818 Move worker api to server::web::api::worker 2023-08-13 16:04:48 +02:00
087ecfd783 Move /commit/:hash/enqueue to /admin/queue/add 2023-08-13 15:56:34 +02:00
48693d3f1c Add "Enqueue" button to commits 2023-08-11 16:50:32 +02:00
6f4793bcf2 Rename runners to workers 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
8b53a22b78 Make web server address configurable 2023-08-09 00:03:34 +02:00
26ee2ff019 Process config before using it 2023-08-07 15:08:02 +02:00
9bdfc79c8b Restructure server around Server struct 2023-08-07 14:43:36 +02:00
45abda2b6d Move server code into its own module 2023-08-07 14:23:47 +02:00
Renamed from src/web.rs (Browse further)