ci: architecture-neutral jobs run on linux-arm64, balancing the two Linux pools #265

Merged

dcharlot merged 1 commit from ci/balance-linux-pools into main 2026-10-15 09:09:48 -04:00

Conversation 0 Commits 1 Files changed 3 +13 -13

dcharlot commented 2026-10-15 04:36:58 -04:00

Owner

Copy link

ci: architecture-neutral jobs run on linux-arm64, balancing the two Linux pools

On 2026-10-15 the one x86_64 runner (linux, two slots) had about 104 jobs queued while
the linux-arm64 runner on the build host sat idle. Thirteen of the jobs pinned to
linux need nothing x86_64: every tool they use comes through rustup, pip, apt, npm or
cargo install, which pick the host's architecture, and nothing they check depends on
it. They now run on linux-arm64:

• wai-http: its path gate, the falsify shards, the shard-coverage check, the corpus
  verified both ways with its differential, and the cache rules;
• wai-pack: its path gate, the independent verifier, the floor through a media prober
  (ffmpeg from apt) and the dependency licences (cargo-deny);
• wai-conformance: the v2 vocabulary, the independent verifiers, delivery telemetry
  against an independent library, and C2PA emission.

The wasm32-wasip2 quantum job stays on linux: it pins an x86_64 wasmtime archive and
refuses any other host. The Kani shard stays too. Byte-equality and cross-architecture
legs keep both labels, as before. The three workflows parse; the concurrency check
passes. This change runs them in full, on their new runner, before it merges.

🤖 Generated with Claude Code

ci: architecture-neutral jobs run on linux-arm64, balancing the two Linux pools On 2026-10-15 the one x86_64 runner (linux, two slots) had about 104 jobs queued while the linux-arm64 runner on the build host sat idle. Thirteen of the jobs pinned to linux need nothing x86_64: every tool they use comes through rustup, pip, apt, npm or cargo install, which pick the host's architecture, and nothing they check depends on it. They now run on linux-arm64: - wai-http: its path gate, the falsify shards, the shard-coverage check, the corpus verified both ways with its differential, and the cache rules; - wai-pack: its path gate, the independent verifier, the floor through a media prober (ffmpeg from apt) and the dependency licences (cargo-deny); - wai-conformance: the v2 vocabulary, the independent verifiers, delivery telemetry against an independent library, and C2PA emission. The wasm32-wasip2 quantum job stays on linux: it pins an x86_64 wasmtime archive and refuses any other host. The Kani shard stays too. Byte-equality and cross-architecture legs keep both labels, as before. The three workflows parse; the concurrency check passes. This change runs them in full, on their new runner, before it merges. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

dcharlot added 1 commit 2026-10-15 04:36:58 -04:00

ci: architecture-neutral jobs run on linux-arm64, balancing the two Linux pools ... 7e699e37c5

On 2026-10-15 the one x86_64 runner (linux, two slots) had about 104 jobs queued while
the linux-arm64 runner on the build host sat idle. Thirteen of the jobs pinned to
linux need nothing x86_64: every tool they use comes through rustup, pip, apt, npm or
cargo install, which pick the host's architecture, and nothing they check depends on
it. They now run on linux-arm64:

- wai-http: its path gate, the falsify shards, the shard-coverage check, the corpus
  verified both ways with its differential, and the cache rules;
- wai-pack: its path gate, the independent verifier, the floor through a media prober
  (ffmpeg from apt) and the dependency licences (cargo-deny);
- wai-conformance: the v2 vocabulary, the independent verifiers, delivery telemetry
  against an independent library, and C2PA emission.

The wasm32-wasip2 quantum job stays on linux: it pins an x86_64 wasmtime archive and
refuses any other host. The Kani shard stays too. Byte-equality and cross-architecture
legs keep both labels, as before. The three workflows parse; the concurrency check
passes. This change runs them in full, on their new runner, before it merges.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

dcharlot merged commit bb057dc726 into main 2026-10-15 09:09:48 -04:00

dcharlot referenced this pull request from a commit 2026-10-15 09:09:49 -04:00

Merge pull request 'ci: architecture-neutral jobs run on linux-arm64, balancing the two Linux pools' (#265) from ci/balance-linux-pools into main

dcharlot referenced this pull request from a commit 2026-10-15 10:42:27 -04:00

Merge origin/main (at ca79392a, with #264, #265 and #263) into wai/d2c-m4

dcharlot referenced this pull request 2026-10-15 10:42:30 -04:00

wai-ops: wai.neural.int_hyper and the wai.video.int_hyper keyframe decode through the integer operator set, goldens unchanged (D2c, M4) #267

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

Transaction-Science/open-standards!265

No description provided.