Include worker name and info in run

2023-08-14 14:26:53 +02:00 · 2023-08-14 14:26:53 +02:00 · dd073b4c0d
commit dd073b4c0d
parent 01124d719b
4 changed files with 26 additions and 15 deletions
--- a/migrations/20230809141314_runs.sql
+++ b/migrations/20230809141314_runs.sql
@ -2,6 +2,8 @@ CREATE TABLE runs (
    id           TEXT NOT NULL PRIMARY KEY,
    hash         TEXT NOT NULL,
    bench_method TEXT NOT NULL,
+    worker_name  TEXT NOT NULL,
+    worker_info  TEXT,
    start        TEXT NOT NULL,
    end          TEXT NOT NULL,
    exit_code    INT  NOT NULL,