[webkit-changes] [WebKit/WebKit] d8e3ea: [build.webkit.org] Add WPE ARM bots to list of sch...

Diego Pino noreply at github.com
Wed Jul 12 04:36:19 PDT 2023


  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: d8e3ea4a13a69833009db79c0a5bd58aaf47af3a
      https://github.com/WebKit/WebKit/commit/d8e3ea4a13a69833009db79c0a5bd58aaf47af3a
  Author: Diego Pino Garcia <dpino at igalia.com>
  Date:   2023-07-12 (Wed, 12 Jul 2023)

  Changed paths:
    M Tools/CISupport/build-webkit-org/config.json

  Log Message:
  -----------
  [build.webkit.org] Add WPE ARM bots to list of schedulers
https://bugs.webkit.org/show_bug.cgi?id=256830

Reviewed by Ryan Haddad and Carlos Alberto Lopez Perez.

Follow-up to 264145 at main.

Add bots to the list of schedulers, so they can start taking incoming
jobs.

* Tools/CISupport/build-webkit-org/config.json:

Canonical link: https://commits.webkit.org/265991@main




More information about the webkit-changes mailing list