|
|
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 |
|
|
|
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 |
|
