Skip to content

Commit 12d6210

Browse files
authored
Don't have a WASI nondebug PR builder (#623)
1 parent 0fbbf69 commit 12d6210

File tree

1 file changed

+11
-4
lines changed

1 file changed

+11
-4
lines changed

master/master.cfg

Lines changed: 11 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -321,7 +321,7 @@ for branch_num, (git_url, branchname, git_branch) in enumerate(git_branches):
321321
# 10pm UTC and 2am UTC, it will be delayed to 2am UTC.
322322
if worker_name == "diegorusso-aarch64-bigmem":
323323
builder.canStartBuild = no_builds_between("22:00", "2:00")
324-
324+
325325
# This worker restarts every day at 9am UTC to work around issues stemming from
326326
# failing bigmem tests trashing disk space and fragmenting RAM. Builds scheduled
327327
# between 07:20am - 9:20am UTC will be delayed to 9:20am UTC.
@@ -362,9 +362,6 @@ all_pull_request_builders = []
362362

363363
for name, worker_name, buildfactory, stability, tier in BUILDERS:
364364
buildername = f"{name} PR"
365-
all_pull_request_builders.append(buildername)
366-
if stability == STABLE:
367-
stable_pull_request_builders.append(buildername)
368365

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

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

382+
# Don't use the WASI buildbot meant for 3.11 and 3.12 on PRs;
383+
# it's tier 3 only and getting it to work on PRs against `main`
384+
# is too much work.
385+
if "wasi" in tags and "nondebug" in tags:
386+
continue
387+
388+
all_pull_request_builders.append(buildername)
389+
if stability == STABLE:
390+
stable_pull_request_builders.append(buildername)
391+
385392
builder = util.BuilderConfig(
386393
name=buildername,
387394
workernames=[worker_name],

0 commit comments

Comments
 (0)