bors e5732a2171 Auto merge of #97110 - Kobzol:pgo-pid-in-profile, r=lqd ...

Add PID to PGO profile data filename

After experimenting with PGO, it looks like the generated profile data files can be sometimes overwritten if there is a race condition, because multiple `rustc` processes are usually invoked in parallel by `cargo`. Adding the PID to the resulting profile filename pattern makes sure that the profiles will be stored in separate files.

This generates ~20 GiB more space on disk on the CI run, but that seems harmless (?). Merging the profiles is not a bottleneck, the perf. run took the same amount of time as usually (~1h 24m).

r? `@lqd`

2022-05-18 09:53:01 +00:00

..

azure-pipelines

…

docker

Rollup merge of #97113 - GuillaumeGomez:search-ui-fixes, r=notriddle

2022-05-18 07:41:00 +09:00

github-actions

update: actions/checkout@v2 to actions/checkout@v3

2022-04-14 13:20:39 -07:00

scripts

Update LLVM version used to build OS X and Windows artifacts to 14.0.2

2022-05-06 18:25:27 +02:00

channel

…

cpu-usage-over-time.py

Update CPU idle tracking for apple hosts

2022-02-04 13:44:24 -05:00

init_repo.sh

Fix extracting submodules on windows.

2022-02-28 06:31:50 -08:00

pgo.sh

Add PID to rustc PGO profiles generated in CI

2022-05-17 19:10:55 +02:00

publish_toolstate.sh

…

run.sh

Move check-bootstrap from a makefile rule to test::Bootstrap

2022-05-07 09:07:07 +05:30

shared.sh

…