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.

1 files changed, 1 insertions, 0 deletions

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