Code

Add build metrics to rustbuild#93717

Code

Merged

bors merged 4 commits intorust-lang:masterrust-lang/rust:masterfrom pietroalbini:pa-ci-profilerpietroalbini/rust:pa-ci-profilerCopy head branch name to clipboardJun 5, 2022

+268-4

Commits

Commits on May 2, 2022

• add build metrics, to gather ci stats from x.py

  Show description for 53965d3
  pietroalbini

  committed
  53965d3

  Copy full SHA for 53965d3

• enable build.metrics on CI

  pietroalbini

  committed
  1c009e7

  Copy full SHA for 1c009e7

Commits on May 22, 2022

• fix uploading build metrics on ci

  pietroalbini

  committed
  836b2d2

  Copy full SHA for 836b2d2

Commits on Jun 4, 2022

• bump sysinfo version

  pietroalbini

  committed
  70cdd7e

  Copy full SHA for 70cdd7e