Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 11 additions & 4 deletions master/master.cfg
Original file line number Diff line number Diff line change
Expand Up @@ -321,7 +321,7 @@ for branch_num, (git_url, branchname, git_branch) in enumerate(git_branches):
# 10pm UTC and 2am UTC, it will be delayed to 2am UTC.
if worker_name == "diegorusso-aarch64-bigmem":
builder.canStartBuild = no_builds_between("22:00", "2:00")

# This worker restarts every day at 9am UTC to work around issues stemming from
# failing bigmem tests trashing disk space and fragmenting RAM. Builds scheduled
# between 07:20am - 9:20am UTC will be delayed to 9:20am UTC.
Expand Down Expand Up @@ -362,9 +362,6 @@ all_pull_request_builders = []

for name, worker_name, buildfactory, stability, tier in BUILDERS:
buildername = f"{name} PR"
all_pull_request_builders.append(buildername)
if stability == STABLE:
stable_pull_request_builders.append(buildername)

source = GitHub(repourl=git_url, **GIT_KWDS)

Expand All @@ -382,6 +379,16 @@ for name, worker_name, buildfactory, stability, tier in BUILDERS:
if tier:
tags.append(tier)

# Don't use the WASI buildbot meant for 3.11 and 3.12 on PRs;
# it's tier 3 only and getting it to work on PRs against `main`
# is too much work.
if "wasi" in tags and "nondebug" in tags:
continue

all_pull_request_builders.append(buildername)
if stability == STABLE:
stable_pull_request_builders.append(buildername)

builder = util.BuilderConfig(
name=buildername,
workernames=[worker_name],
Expand Down