Skip to content

PR builds: build:linux / build:osx / build:win labels limit the platforms - #161

Merged
Tobias-Fischer merged 1 commit into
mainfrom
pr-platform-labels
Oct 24, 2026
Merged

Tobias-Fischer merged 1 commit into
mainfrom
pr-platform-labels

Conversation

@Tobias-Fischer

Copy link
Copy Markdown
Collaborator

Like build:<distro> for distributions: a PR with platform labels builds only those platforms, and all of them without one.

label platforms
build:linux linux-64, linux-aarch64
build:osx osx-64, osx-arm64
build:win win-64
build:<platform> that platform, e.g. build:linux-64

This is for iterating on, for example, Windows fixes without waiting for the few macOS runners. Remove the labels for a full build before merging (README and AGENTS.md say so).

  • Runners: the list moves from testpr.yaml's matrix to tools/robostack.py (BUILD_TARGETS); the plan job outputs the selected ones.
  • Distribution selection: platform labels don't affect it.
  • Tests: test_build_targets_from_platform_labels, plus cases in the build_distros test; all tool tests and rs check pass.
  • Labels: build:linux, build:osx and build:win are created.

🤖 Generated with Claude Code

…orms

Like build:<distro> for distributions: a PR with platform labels builds only
those platforms (build:linux = linux-64 and linux-aarch64, build:osx = osx-64
and osx-arm64, build:win = win-64, or one platform such as build:linux-64),
all of them without. For iterating on e.g. Windows fixes without waiting for
the few macOS runners; remove them for a full build before merging.

The runners move from testpr.yaml's matrix to tools/robostack.py
(BUILD_TARGETS); the plan job outputs the selected ones.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@Tobias-Fischer Tobias-Fischer added the build:none PR build: build no packages, only run the checks (tooling, CI or docs changes) label Oct 24, 2026
@Tobias-Fischer
Tobias-Fischer merged commit 25efd6b into main Oct 24, 2026
8 checks passed
@Tobias-Fischer
Tobias-Fischer deleted the pr-platform-labels branch October 24, 2026 23:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

build:none PR build: build no packages, only run the checks (tooling, CI or docs changes)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant