open-standards/.github/workflows/wai-app.yml
Transaction Science 7907de6a0d
Some checks failed
joule-moq-web browser client / joule-moq-web · does this change touch it (push) Successful in 17s
wai-app and Create / wai-app · does this change touch it (push) Successful in 2m15s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (push) Has been cancelled
smart-byte conformance gate / does this change touch it (push) Successful in 17s
wai-audit collector and player integration / does this change touch it (push) Successful in 4m51s
wai cross-architecture byte-equality / does this change touch it (push) Successful in 2m40s
WAI operation catalogue / does this change touch it (push) Successful in 30s
smart-byte conformance gate / Spec changes require vector-pack updates (push) Has been skipped
wai-fleet service / does this change touch it (push) Successful in 43s
wai formal verification (integer core) / does this change touch it (push) Successful in 26s
wai-key-proxy / does this change touch it (push) Successful in 31s
wai-ledger service / does this change touch it (push) Successful in 28s
wai-quantum command line / does this change touch it (push) Successful in 27s
wai-ops integer operators / does this change touch it (push) Successful in 34s
wai-quantum editors / does this change touch it (push) Successful in 27s
wai-quantum contract / does this change touch it (push) Successful in 42s
wai-quantum docs, course and locales / does this change touch it (push) Successful in 34s
wai-quantum resource estimation / does this change touch it (push) Successful in 26s
wai-quantum for JavaScript / does this change touch it (push) Successful in 22s
wai-quantum other formats / does this change touch it (push) Successful in 26s
wai-quantum pulse and dynamics / does this change touch it (push) Successful in 23s
wai-quantum error correction and mitigation / does this change touch it (push) Successful in 18s
wai-quantum OpenQASM reader / does this change touch it (push) Successful in 20s
wai-quantum extension points / does this change touch it (push) Successful in 27s
wai-quantum for Python / does this change touch it (push) Successful in 33s
wai-quantum service / does this change touch it (push) Successful in 2m19s
wai-quantum studio and desktop / does this change touch it (push) Successful in 39s
wai-quantum views in agent hosts / does this change touch it (push) Successful in 30s
wai-quantum variational and algorithm library / does this change touch it (push) Successful in 55s
wai-quantum verdicts and repairs / does this change touch it (push) Successful in 54s
wai-sink-swift native sink package / does this change touch it (push) Successful in 34s
wai-sink-android native sink library / does this change touch it (push) Successful in 46s
WAI Studio / does this change touch it (push) Successful in 28s
wai-vector vector graphics / does this change touch it (push) Successful in 37s
wai-audit collector and player integration / collector · linux (push) Has been cancelled
wai-audit collector and player integration / collector, player integration and the browser end to end · macos (push) Has been cancelled
WAI operation catalogue / the catalogue and every door · linux (push) Has been cancelled
wai-quantum command line / command line · linux (push) Has been cancelled
wai-quantum command line / command line · macos (push) Has been cancelled
wai-quantum contract / API compatibility · linux (push) Has been cancelled
wai-quantum contract / schemas and the committed tool lists · linux (push) Has been cancelled
wai-quantum contract / the policy is linked, and the deprecations page reads (push) Has been cancelled
wai-quantum docs, course and locales / every command and snippet in the docs · linux (push) Has been cancelled
wai-quantum docs, course and locales / the course and the command line's languages · linux (push) Has been cancelled
wai-quantum docs, course and locales / the Studio's words in every locale · linux (push) Has been cancelled
wai-quantum editors / editors · linux (push) Has been cancelled
wai-quantum editors / editors · macos (push) Has been cancelled
wai-quantum resource estimation / estimation and calibration · linux, release (push) Has been cancelled
wai-quantum other formats / readers, writers and the set · linux (push) Has been cancelled
wai-quantum other formats / the set under wasm32-wasip2 (wasmtime) (push) Has been cancelled
wai-quantum for JavaScript / javascript · linux (push) Has been cancelled
wai-quantum OpenQASM reader / reader and corpus · linux (push) Has been cancelled
wai-quantum OpenQASM reader / corpus under wasm32-wasip2 (wasmtime) (push) Has been cancelled
wai-quantum pulse and dynamics / reader, simulator and pulse jobs · linux, release (push) Has been cancelled
wai-quantum pulse and dynamics / the same bits · linux-arm64 (push) Has been cancelled
wai-quantum pulse and dynamics / the same bits · macos (push) Has been cancelled
wai-quantum pulse and dynamics / reader, simulator and pulse jobs under wasm32-wasip2 (wasmtime) (push) Has been cancelled
wai-quantum for Python / python · linux (push) Has been cancelled
wai-quantum for Python / python · macos (push) Has been cancelled
wai-quantum error correction and mitigation / codes, decoders, texts and mitigation · linux, release (push) Has been cancelled
wai-quantum extension points / the registry and the example · linux (push) Has been cancelled
wai-quantum extension points / the registry and the example · linux-arm64 (push) Has been cancelled
wai-quantum extension points / the registry under wasm32-wasip2 (wasmtime) (push) Has been cancelled
wai-quantum service / service · linux (push) Has been cancelled
wai-quantum service / service · macos (push) Has been cancelled
wai-quantum service / service energy · linux packages (push) Has been cancelled
wai-quantum studio and desktop / studio · browser (push) Has been cancelled
wai-quantum studio and desktop / desktop app · macos (push) Has been cancelled
wai-quantum studio and desktop / desktop app · linux (push) Has been cancelled
wai-quantum studio and desktop / desktop app · windows (push) Has been cancelled
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux, release (push) Has been cancelled
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (push) Has been cancelled
wai-quantum verdicts and repairs / verdicts, repairs and the intent set · linux (push) Has been cancelled
wai-quantum verdicts and repairs / the intent set and the verdict under wasm32-wasip2 (wasmtime) (push) Has been cancelled
wai-quantum views in agent hosts / views · the page and its engine (push) Has been cancelled
wai-quantum views in agent hosts / views · a scripted host (push) Has been cancelled
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (push) Has been cancelled
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (push) Has been cancelled
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (push) Has been cancelled
WAI Studio / the catalogue's actions, the unit tests and the core · linux (push) Has been cancelled
WAI Studio / Studio in Chromium and Firefox · macos (push) Has been cancelled
WAI Studio / Studio in WebKit · linux (push) Has been cancelled
joule-moq-web browser client / joule-moq-web · browser end-to-end (macos) (push) Has been cancelled
wai-app and Create / wai-app · tests, clippy, the line language's verifier (linux) (push) Has been cancelled
wai-app and Create / wai-app · Create, browser end-to-end (macos) (push) Has been cancelled
wai-fleet service / service · linux (push) Has been cancelled
wai-fleet service / service · macos (push) Has been cancelled
wai-ledger service / service · linux (push) Has been cancelled
wai-ledger service / service · macos (push) Has been cancelled
wai formal verification (integer core) / kani (isqrt512) (push) Successful in 29m9s
wai formal verification (integer core) / kani (rans64-t2) (push) Failing after 12m41s
wai cross-architecture byte-equality / windows-x86_64 (push) Successful in 1m21s
wai cross-architecture byte-equality / macos-arm64 (reference) (push) Successful in 1m12s
wai-ops integer operators / macos-arm64 (push) Successful in 1m1s
smart-byte conformance gate / Validate conformance JSON files (push) Successful in 9s
smart-byte conformance gate / Second implementation reproduces every vector (push) Successful in 10s
smart-byte conformance gate / VERSIONS.md and README.md must exist (push) Successful in 12s
wai cross-architecture byte-equality / linux-x86_64 (push) Successful in 1m15s
wai-vector vector graphics / macos-arm64 (push) Successful in 2m14s
wai formal verification (integer core) / every harness in one shard (push) Successful in 54s
wai-key-proxy / proxy · linux (push) Has been cancelled
wai-ops integer operators / wasm32-wasip2 (wasmtime) (push) Successful in 3m23s
wai-ops integer operators / wasm32 under Node (push) Successful in 2m53s
wai-ops integer operators / linux-x86_64 (push) Successful in 3m30s
wai-ops integer operators / independent checker (Python) (push) Successful in 58s
wai formal verification (integer core) / kani (plan) (push) Successful in 14m41s
wai formal verification (integer core) / kani (stage) (push) Failing after 18m57s
wai formal verification (integer core) / kani (integer-core) (push) Successful in 15m19s
wai-vector vector graphics / fuzz, peak allocation, comparison count (push) Successful in 30s
wai formal verification (integer core) / kani (arith) (push) Successful in 26m7s
wai-vector vector graphics / wasm32 under Node (push) Successful in 1m17s
wai-vector vector graphics / wasm32-wasip2 (wasmtime) (push) Successful in 1m29s
wai-vector vector graphics / independent checker (Python) (push) Successful in 3m59s
wai-vector vector graphics / linux-x86_64 (push) Successful in 5m40s
wai-vector vector graphics / wasm32 in three browser engines (push) Successful in 7m33s
wai formal verification (integer core) / kani (sound) (push) Successful in 33m51s
wai formal verification (integer core) / kani (stage-long) (push) Successful in 40m0s
wai-ops integer operators / linux-aarch64 (push) Has been cancelled
wai cross-architecture byte-equality / linux-aarch64 (push) Successful in 49s
wai-vector vector graphics / linux-aarch64 (push) Successful in 4m12s
ci: gate jobs get their own pool, so a path question stops blocking real work
Measured on the forge: of 918 jobs waiting in this repository, **293 (32%)** were
gate jobs -- "does this change touch it" -- and every one was queued on `linux`,
the most contended label (555 of the 918). A gate is `actions/checkout` plus
`python3 scripts/pr-touches-paths.py`: seconds of work, sitting behind multi-hour
proofs. And because every other job in a workflow `needs:` the gate, nothing in
that workflow could start until one was claimed. The mechanism built to save
runner time had become the thing filling the runner queue.

62 files, one line each: `runs-on: linux` -> `runs-on: gate`. No step, condition
or output touched.

A gate compiles nothing, so it is architecture-independent -- which is what makes
the pool free. It is served by two hosts that cannot serve `linux` at all:

    thor2-gate        arm64 (NVIDIA Thor, 14 cores/122 GB), capacity 8
    jetson-hub-gate   x86_64, capacity 4

Both are registered and idle, waiting for this label. Twelve slots of gate
throughput added without taking one slot from real work, and
`gate:docker://catthehacker/ubuntu:act-22.04` resolves to each host's native
architecture so the two are interchangeable. Two providers deliberately: with
one, that host going down would stall all 62 workflows at their gate.

Two checks, because a blind substitution would have been wrong:

  * The gate `name:` is immediately followed by `runs-on: linux` in 62 of 63
    cases. The 63rd, `standards-build.yml:174`, is a *step* with that name, not
    a job -- it has no `runs-on` and is untouched.
  * After the change all **77** workflows still parse, and every `runs-on: gate`
    in the repository belongs to a job whose name is a gate. No other job moved.

This lands as a direct commit rather than through the pull request it was first
written as (#667, now closed). That PR sat two days: it changes 62 workflow
files, so it triggered **267 check contexts** every attempt, and a single flaky
hardware leg was enough to keep it from ever being green at once. Its own 62 gate
contexts did pass, which is the evidence this change works. Re-deriving it
against current `main` also avoided a real hazard: diffing the stale branch
against today's `main` rendered #674's pinned-emulator work as deletions, and
applying that "clean" patch would have reverted it.

Co-Authored-By: Claude Opus 5 <[email protected]>
2026-11-06 14:24:36 -05:00

156 lines
6.9 KiB
YAML

name: wai-app and Create
# WAI's widgets for joule-ui and Create (wai/wai-app), and the line language they take a
# program in (joule-ui SPEC §11):
#
# unit wai-app's tests (its registry, its rules, the guide, the export's files, the
# runtime read by its listing, the bridge), clippy with warnings as errors, its
# WebAssembly surface checked for wasm32; the line language's independent verifier
# over the conformance pack, and its mutations refused; the page modules' unit tests
# (the renderer, the model streams). `wai create --from app.oui`, `wai app check` and
# `wai mcp --toolset app` are wai-rs's tests/cli_app.rs, in wai-conformance;
# e2e Create in the host's browser (wai/wai-app/e2e/run.sh), served by `wai dev --show`:
# a recorded stream renders as it arrives, the room joins a real room service, a chat
# and a poll go through it, the page's sealed log verifies, Export hands over app.oui,
# `wai create --from app.oui` makes the project and `wai app check` passes on it and
# refuses it broken, `wai dev` runs the project's own room where a host and a viewer
# answer a poll the room's clock signs, the refused lines never render, the visitor's
# own model is called with their key alone, and `wai mcp --toolset app` streams into
# the page through its bridge.
#
# The line language's own tests and its pack test run in standards-build (joule-ui-rs).
#
# Push filters match the push's delta, so every path the jobs read is listed.
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
on:
push:
branches: [main]
paths:
- 'wai/wai-app/**'
- 'joule-ui/**'
- 'wai/wai-live-web/**'
- 'wai/wai-rs/**'
- 'joule-code/joule-code-rs/crates/joule-moq-web/**'
- 'joule-code/joule-code-rs/crates/joule-moq/**'
- 'joule-code/joule-code-rs/crates/joule-moq-relay/**'
- 'joule-code/joule-code-rs/crates/joule-moq-room/**'
- 'joule-code/joule-code-rs/crates/jwp/**'
- 'joule-code/joule-code-rs/Cargo.toml'
- 'joule-code/joule-code-rs/Cargo.lock'
- 'wai/quickstart/build-web.sh'
- 'rust-toolchain.toml'
- '.github/workflows/wai-app.yml'
pull_request:
paths:
- 'wai/wai-app/**'
- 'joule-ui/**'
- 'wai/wai-live-web/**'
- 'wai/wai-rs/**'
- 'joule-code/joule-code-rs/crates/joule-moq-web/**'
- 'joule-code/joule-code-rs/crates/joule-moq/**'
- 'joule-code/joule-code-rs/crates/joule-moq-relay/**'
- 'joule-code/joule-code-rs/crates/joule-moq-room/**'
- 'joule-code/joule-code-rs/crates/jwp/**'
- 'joule-code/joule-code-rs/Cargo.toml'
- 'joule-code/joule-code-rs/Cargo.lock'
- 'wai/quickstart/build-web.sh'
- 'rust-toolchain.toml'
- '.github/workflows/wai-app.yml'
jobs:
# Forgejo matches `paths:` against the push delta, so a rebase fires this workflow
# whatever the pull request changes. This job reads the pull request's own diff against
# the paths above (scripts/pr-touches-paths.py, which fails open).
relevant:
name: wai-app · does this change touch it
runs-on: gate
outputs:
run: ${{ steps.gate.outputs.run }}
steps:
- uses: actions/checkout@v5
with:
fetch-depth: 0
- id: gate
run: |
set -euo pipefail
r=$(python3 scripts/pr-touches-paths.py .github/workflows/wai-app.yml \
"${{ github.event.pull_request.base.sha }}" \
"${{ github.event.pull_request.head.sha }}")
echo "this change touches wai-app: $r"
echo "run=$r" >> "$GITHUB_OUTPUT"
# Nothing here needs macOS: it runs on the linux runner, leaving the macOS host to the
# browser job.
unit:
name: wai-app · tests, clippy, the line language's verifier (linux)
needs: relevant
if: needs.relevant.outputs.run == 'true'
runs-on: linux
timeout-minutes: 60
steps:
- uses: actions/checkout@v5
- name: Install Rust 1.99.1
shell: bash
run: |
export PATH="$HOME/.cargo/bin:$PATH"
command -v rustup >/dev/null 2>&1 || \
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y --profile minimal --default-toolchain 1.99.1
rustup toolchain install 1.99.1 --profile minimal --component clippy
rustup default 1.99.1
echo "$HOME/.cargo/bin" >> "$GITHUB_PATH"
- name: Tests and clippy
shell: bash
working-directory: wai/wai-app
run: |
set -euo pipefail
rustup target add wasm32-unknown-unknown
nice -n 10 cargo test --locked 2>&1 | tee "$RUNNER_TEMP/test.log"
grep -qE '^test result: ok\. [1-9][0-9]* passed; 0 failed' "$RUNNER_TEMP/test.log" || { echo "::error::no test ran"; exit 1; }
nice -n 10 cargo clippy --locked --all-targets -- -D warnings
nice -n 10 cargo clippy --locked --lib --target wasm32-unknown-unknown --no-default-features --features web -- -D warnings
- name: The line language's independent verifier, and its mutations
shell: bash
run: |
set -euo pipefail
python3 -I joule-ui/conformance/lang_verify.py
python3 -I joule-ui/conformance/lang_verify.py --mutations
- name: The page modules
shell: bash
run: node --test wai/wai-app/web/web.test.mjs
e2e:
name: wai-app · Create, browser end-to-end (macos)
needs: relevant
if: needs.relevant.outputs.run == 'true'
runs-on: macos
timeout-minutes: 90
steps:
- uses: actions/checkout@v5
# launchd's PATH omits cargo on the macOS host runner.
- name: Put cargo on PATH
shell: bash
run: echo "$HOME/.cargo/bin" >> "$GITHUB_PATH"
# Pinned to the wasm-bindgen the crates pin: the CLI and the crate must match.
- name: wasm32 target and wasm-bindgen CLI 0.2.127
shell: bash
run: |
set -euo pipefail
rustup target add wasm32-unknown-unknown
cargo install --locked wasm-bindgen-cli --version 0.2.127
- name: Create in the browser
shell: bash
env:
BROWSER_BIN: /Applications/Google Chrome.app/Contents/MacOS/Google Chrome # allow-name: the macOS runner's browser executable, a file path
CREATE_E2E_OUT: ${{ runner.temp }}/wai-create
run: |
set -euo pipefail
test -x "$BROWSER_BIN" || { echo "::error::this runner has no browser at $BROWSER_BIN"; exit 1; }
mg=/Volumes/macos_4TB_external_1/wai-build/bin/memguard
if [ -x "$mg" ]; then export MEMGUARD="$mg"; fi
nice -n 10 bash wai/wai-app/e2e/run.sh 2>&1 | tee "$RUNNER_TEMP/create-e2e.log"
grep -qE '^create e2e: [1-9][0-9]* passed, 0 failed$' "$RUNNER_TEMP/create-e2e.log" \
|| { echo "::error::the Create end-to-end run did not pass"; exit 1; }