schema.sql: index builds on source
authorHelmut Grohne <helmut@subdivi.de>
Mon, 13 Jan 2020 19:00:39 +0000 (20:00 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Mon, 13 Jan 2020 19:00:39 +0000 (20:00 +0100)
The per-source page rendered by webapp.py incurs a lot of query that can
be sped up using this index.

schema.sql

index d7854a2..c785080 100644 (file)
@@ -30,6 +30,7 @@ CREATE TABLE builds (
        success BOOLEAN NOT NULL CHECK (success in (0, 1)),
        starttime TIMESTAMP NOT NULL,
        filename TEXT NOT NULL);
+CREATE INDEX builds_source_index ON builds(source);
 
 CREATE TABLE buildrequests (
        id INTEGER PRIMARY KEY,