Add index on builds table.

* src/sql/upgrade-14.sql: New file.
* src/schema.sql (dist_sql_DATA): Add it.
* src/schema.sql (Builds_timestamp_stoptime): New index.

Makefile.am

@@ -82,7 +82,8 @@ dist_sql_DATA = 				\
   src/sql/upgrade-10.sql			\
   src/sql/upgrade-11.sql			\
   src/sql/upgrade-12.sql			\
-  src/sql/upgrade-13.sql
+  src/sql/upgrade-13.sql			\
+  src/sql/upgrade-14.sql
 
 dist_css_DATA =					\
   src/static/css/cuirass.css			\

src/schema.sql

@@ -99,6 +99,7 @@ CREATE TABLE Events (
 CREATE INDEX Builds_status_index ON Builds (status);
 CREATE INDEX Builds_evaluation_index ON Builds (evaluation, status);
 CREATE INDEX Builds_nix_name ON Builds (nix_name COLLATE NOCASE);
+CREATE INDEX Builds_timestamp_stoptime on Builds(timestamp, stoptime);
 CREATE INDEX Evaluations_status_index ON Evaluations (id, status);
 CREATE INDEX Evaluations_specification_index ON Evaluations (specification, id DESC);
 CREATE INDEX Outputs_derivation_index ON Outputs (derivation);

src/sql/upgrade-14.sql

+BEGIN TRANSACTION;
+
+CREATE INDEX Builds_timestamp_stoptime on Builds(timestamp, stoptime);
+
+COMMIT;