schema.sql: index builds on source

The per-source page rendered by webapp.py incurs a lot of query that can
be sped up using this index.

diff --git a/schema.sql b/schema.sql
index d7854a2..c785080 100644 (file)
--- a/schema.sql
+++ b/schema.sql
@@ -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,