]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7355d97) | patch
Add PID to rustc PGO profiles generated in CI
authorJakub Beránek <berykubik@gmail.com>
Tue, 17 May 2022 17:10:55 +0000 (19:10 +0200)
committerJakub Beránek <berykubik@gmail.com>
Tue, 17 May 2022 17:10:55 +0000 (19:10 +0200)
commit19a35588156debc0e3ac8e8ccd412c0bb2983b4e
treea7ee1de10281e1c5727ecdfa5e445a9140068545tree | snapshot
parent7355d971a954ed63293e4191f6677f60c1bc07d9commit | diff
Add PID to rustc PGO profiles generated in CI
src/ci/pgo.sh diff | blob | history
Empowering everyone to build reliable and efficient software.