Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: efc6bffc4bea93a5db5a930d590c3f6ebe794f98
https://github.com/WebKit/WebKit/commit/efc6bffc4bea93a5db5a930d590c3f6ebe794f98
Author: Dewei Zhu <[email protected]>
Date: 2025-11-20 (Thu, 20 Nov 2025)
Changed paths:
M Tools/Scripts/build-and-collect-pgo-profiles
M Tools/Scripts/pgo-profile
A
Tools/Scripts/webkitpy/benchmark_runner/data/patches/webserver/jetstream3.plan
Log Message:
-----------
Collect PGO profiles from JetStream3 instead of JetStream2
rdar://157814353
https://bugs.webkit.org/show_bug.cgi?id=302849
Reviewed by Keith Miller and Yusuke Suzuki.
Collect PGO profiles from JetStream3 instead of JetStream2 since the former is
almost
finalized.
* Tools/Scripts/build-and-collect-pgo-profiles:
* Tools/Scripts/pgo-profile:
*
Tools/Scripts/webkitpy/benchmark_runner/data/patches/webserver/jetstream3.plan:
Added.
Canonical link: https://commits.webkit.org/303375@main
To unsubscribe from these emails, change your notification settings at
https://github.com/WebKit/WebKit/settings/notifications
