diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2022-02-06 23:03:55 +0100 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2022-05-02 21:33:01 +0200 |
| commit | 53965d3daf43a041e56f64f28c6710fb7943dd01 (patch) | |
| tree | ba9432a82d2d215de2adfc49cd8250555085742a /config.toml.example | |
| parent | f75d884046e07bb26edeaba9b8c982dc97485fd5 (diff) | |
| download | rust-53965d3daf43a041e56f64f28c6710fb7943dd01.tar.gz rust-53965d3daf43a041e56f64f28c6710fb7943dd01.zip | |
add build metrics, to gather ci stats from x.py
This tool will generate a JSON file with statistics about each individual step to disk. It will be used in rust-lang/rust's CI to replace the mix of scripts and log scraping we currently have to gather this data.
Diffstat (limited to 'config.toml.example')
| -rw-r--r-- | config.toml.example | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config.toml.example b/config.toml.example index dd886879b14..bfeea3f2cfd 100644 --- a/config.toml.example +++ b/config.toml.example @@ -328,6 +328,12 @@ changelog-seen = 2 # a Nix toolchain on non-NixOS distributions. #patch-binaries-for-nix = false +# Collect information and statistics about the current build and writes it to +# disk. Enabling this or not has no impact on the resulting build output. The +# schema of the file generated by the build metrics feature is unstable, and +# this is not intended to be used during local development. +#metrics = false + # ============================================================================= # General install configuration options # ============================================================================= |