Joscha af11d54d0c Add button to batch-queue commits without runs		2023-08-17 19:13:24 +02:00
..
commit.html	Add button to batch-queue commits without runs	2023-08-17 19:13:24 +02:00
graph.html	Control graph with metric list	2023-08-15 23:46:02 +02:00
index.html	Add admin button to update repo	2023-08-17 18:20:37 +02:00
queue.html	Port queue page	2023-08-14 12:23:22 +02:00
queue_delete.html	Implement queue task deletion	2023-08-14 12:41:47 +02:00
queue_inner.html	Add button to batch-queue commits without runs	2023-08-17 19:13:24 +02:00
run_finished.html	Group migrations	2023-08-15 19:01:28 +02:00
worker.html	Port worker page	2023-08-13 23:02:18 +02:00