ae81831bdd
Port graph page to maud
2024-05-12 15:20:10 +02:00
67960e08fa
Port commit page to maud
2024-05-12 15:20:10 +02:00
d116950a93
Avoid metrics being entirely empty
2023-10-24 14:46:12 +02:00
d82804e209
Create metric selector via JS
2023-10-22 01:50:19 +02:00
b587a87d50
Move /admin/repo/update to /admin/refs/update
2023-10-22 01:50:19 +02:00
2bf939186d
Remove stddev and direction columns
2023-10-22 01:50:19 +02:00
4bdca4d3c8
Style commit-like entities
2023-08-18 03:11:13 +02:00
7ecd812b11
Style graph
2023-08-18 02:57:39 +02:00
8f2dede80d
Fix some spacing
2023-08-18 01:26:58 +02:00
7e0bf21223
Track and untrack refs
2023-08-18 01:03:14 +02:00
ad396722a0
Use one big form for priority inc/dec buttons
2023-08-18 00:51:36 +02:00
a97b229e7d
Style queue commit table
2023-08-17 23:20:33 +02:00
acef1931bc
Move update button below refs
2023-08-17 22:36:31 +02:00
689894d2e8
Overhaul index page
2023-08-17 22:36:31 +02:00
5bc4605414
Reenable css
2023-08-17 22:33:27 +02:00
4478981946
Stop batch-add form being overwritten
2023-08-17 19:37:30 +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
4b55f5364a
Control graph with metric list
2023-08-15 23:46:02 +02:00
678d3f391b
Show metrics as tree
2023-08-15 23:21:15 +02:00
82e2385f59
Group migrations
2023-08-15 19:01:28 +02:00
476fd84d2d
Display test graph
2023-08-15 00:59:46 +02:00
b0eb94a02a
Add graph tab
2023-08-14 17:49:21 +02:00
2620530cc2
Implement queue task deletion
2023-08-14 12:41:47 +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
30ddf1e9b2
Ensure web_base does not end in /
2023-08-13 19:57:28 +02:00
087ecfd783
Move /commit/:hash/enqueue to /admin/queue/add
2023-08-13 15:56:34 +02:00
a7afbea0b9
Move queue js to /queue.js
2023-08-11 16:52:27 +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
6ed6ff1a36
Ensure base path always starts and ends with /
...
The base path is an absolute path, so it should always start with /.
Whenever it is used, it must also always be followed by at least one /,
so baking that into the value makes sense. Finally, we can now
deduplicate the / in case the base path is the root.
2023-08-10 21:03:25 +02:00
d5a41abaff
Remove /commit/ endpoint
2023-08-10 20:40:41 +02:00
5c8c037417
Move logo inside first nav <a>
2023-08-10 17:50:23 +02:00
13fed3d18e
Add lang to html tag
2023-08-09 23:13:24 +02:00
724aed001f
Add meta viewport tag
2023-08-09 22:32:08 +02:00
e5de9ccb97
Identify queue items by commit hash, not id
2023-08-09 16:20:20 +02:00
794787a4be
Use same commit link style everywhere
2023-08-06 23:40:13 +02:00
2b81d497bc
Show individual tasks
2023-08-06 21:49:17 +02:00
171505d7ec
Simplify commit css
2023-08-06 21:29:44 +02:00
02b9468308
Always alternate queue priority background colors
2023-08-06 21:07:06 +02:00
6af47b8c30
Refresh queue regularly
2023-08-06 20:50:42 +02:00
