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 /src/librustdoc/html/static/js/source-script.js | |
| 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 'src/librustdoc/html/static/js/source-script.js')
0 files changed, 0 insertions, 0 deletions