Thu, 26 Oct 2023 12:27:10 +0200 | wenzelm | tuned signature; | changeset | files |
Thu, 26 Oct 2023 11:50:50 +0200 | wenzelm | tuned imports; | changeset | files |
Wed, 18 Oct 2023 20:51:24 +0200 | Fabian Huch | add module for faster scheduled builds; | changeset | files |
Wed, 18 Oct 2023 20:26:02 +0200 | Fabian Huch | always use host database and make protected; | changeset | files |
Wed, 18 Oct 2023 20:12:07 +0200 | Fabian Huch | read relative cpu from build log; | changeset | files |
Wed, 18 Oct 2023 20:07:54 +0200 | Fabian Huch | prefer extensible next_node_info in build process over process_options in build engine (which needs the final node info anyway); | changeset | files |
Wed, 18 Oct 2023 19:53:39 +0200 | Fabian Huch | added start date to build jobs, e.g., for build time estimation; | changeset | files |
Wed, 18 Oct 2023 19:49:08 +0200 | Fabian Huch | added initial version of benchmark module, e.g., to compare performance of different hosts; | changeset | files |