remove header on build page

Dependencies

• [2] MOX7XJ2E Merge the BuildSchedulingInfo table into the Builds table
• [3] 3E6IP3R3 * Add the name of the jobset to ReleaseSetJobs, otherwise we can't
• [4] BVOPAMLS
• [5] GWCV3TQV * BuildInputs table: link to dependencies, include store paths.
• [6] 2R7GHSA4 * hydra: added initial version of build graph
• [7] PHX2HIVG * Store info about the build inputs in the build record.
• [8] L2E6EVE2 * Merged the Build and Job tables.
• [9] ODNCGFQ5 * Improved the navigation bar: don't include all projects (since that
• [10] J5UVLXOK * Start of a basic Catalyst web interface.
• [11] B72GLND4
• [12] ZI535LI6 * hydra: 'new' UI for project/jobset/job/build
• [13] WHAFVCEI
• [14] A52HEFHQ * Allow builds to be restarted (if they failed with a transient error,
• [15] GNIEG2GC * Disambiguate jobs by jobset name. I.e. jobs with the same name in

Change contents

• edit in src/root/build.tt at line 67
  [3.3889]→[3.3889:3891](∅→∅),[3.3891]→[3.5615:5620](∅→∅),[3.7414]→[3.5615:5620](∅→∅),[3.5620]→[3.6590:6672](∅→∅),[3.3381]→[3.5696:5723](∅→∅),[3.3656]→[3.5696:5723](∅→∅),[3.6672]→[3.5696:5723](∅→∅),[3.5696]→[3.5696:5723](∅→∅),[3.5723]→[2.5779:5803](∅→∅),[2.5803]→[3.210:284](∅→∅),[3.210]→[3.210:284](∅→∅),[3.284]→[3.5739:5757](∅→∅),[3.5739]→[3.5739:5757](∅→∅)
  −

  −

  − <h1>

  − Job <tt>[% project.name %]:[% jobset.name %]:[% job.name %]</tt> build [% id %]

  − [% IF !build.finished %]

  − [% IF build.busy %]

  − (currently building)

  − [% ELSE %]

  − (scheduled)

  − [% END %]

  − [% END %]

  − </h1>