-- Index more exactly what the latest-finished query looks for.
create index IndexFinishedSuccessfulBuilds
  on Builds(id DESC, buildstatus, finished, job, jobset_id)
  where buildstatus = 0 and finished = 1;

-- Make the Jobs.jobset_id column NOT NULL. If this upgrade fails,
-- either the admin didn't run the backfiller or there is a bug. If
-- the admin ran the backfiller and there are null columns, it is
-- very important to figure out where the nullable columns came from.
ALTER TABLE Jobs
  ALTER COLUMN jobset_id SET NOT NULL;

-- Make the Jobs.jobset_id column NOT NULL. If this upgrade fails,

-- Make the Builds.jobset_id column NOT NULL. If this upgrade fails,

ALTER TABLE Jobs

ALTER TABLE Builds

-- Make the Builds.jobset_id column NOT NULL. If this upgrade fails,
-- either the admin didn't run the backfiller or there is a bug. If
-- the admin ran the backfiller and there are null columns, it is
-- very important to figure out where the nullable columns came from.
ALTER TABLE Builds
  ALTER COLUMN jobset_id SET NOT NULL;

-- Index more exactly what the latest-finished query looks for.
create index IndexFinishedSuccessfulBuilds
  on Builds(id DESC, buildstatus, finished, job, jobset_id)
  where buildstatus = 0 and finished = 1;