open-standards/.github/workflows/wai-app.yml
Transaction Science e694cb0966
Some checks failed
WAI breaking changes and the conformance runner / WAI breaking · does this change touch WAI (push) Successful in 12s
joule-moq-remote host agent / joule-moq-remote · does this change touch it (push) Successful in 21s
wai-quantum energy-landscape jobs / does this change touch it (push) Successful in 15s
joule-moq-room room service / joule-moq-room · does this change touch it (push) Successful in 23s
wai-app and Create / wai-app · does this change touch it (push) Successful in 23s
jouleclaw public surface must stay documented / Public-surface audit (jouleclaw-rs) (push) Successful in 32s
WAI operation catalogue / does this change touch it (push) Successful in 21s
wai-key-proxy / does this change touch it (push) Successful in 13s
wai-quantum wasmQ / does this change touch it (push) Successful in 20s
wai-ledger service / does this change touch it (push) Successful in 31s
energy meters on real hardware / RAPL and NVML on jetson-hub (push) Successful in 1m5s
wai-ops integer operators / does this change touch it (push) Successful in 30s
joule-code conformance gate / joule-moq-relay, its own energy on a counter (macos) (push) Successful in 1m13s
wai-quantum contract / does this change touch it (push) Successful in 25s
wai-quantum command line / does this change touch it (push) Successful in 24s
wai-det-jpegai WAISM float-level module of record / does this change touch it (push) Successful in 56s
wai formal verification (integer core) / does this change touch it (push) Successful in 1m0s
wai-quantum docs, course and locales / does this change touch it (push) Successful in 12s
wai-audit collector and player integration / does this change touch it (push) Successful in 1m18s
smart-byte conformance gate / does this change touch it (push) Successful in 1m41s
joule-moq-web browser client / joule-moq-web · does this change touch it (push) Successful in 1m18s
wai-int-module WAISM module of record / does this change touch it (push) Successful in 1m8s
wai-quantum wasmQ / the reference modules rebuild to their modules of record · linux (push) Successful in 42s
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 1m11s
wai cross-architecture byte-equality / does this change touch it (push) Successful in 1m13s
wai-quantum resource estimation / does this change touch it (push) Successful in 23s
wai-quantum editors / does this change touch it (push) Successful in 29s
wai-quantum other formats / does this change touch it (push) Successful in 26s
wai-quantum OpenQASM reader / does this change touch it (push) Successful in 24s
wai-app and Create / wai-app · tests, clippy, the line language's verifier (linux) (push) Successful in 1m15s
WAI breaking changes and the conformance runner / WAI breaking · wire, record and API against main · linux (push) Successful in 1m21s
wai formal verification (integer core) / every harness in one shard (push) Successful in 18s
wai-ops integer operators / independent checker (Python) (push) Successful in 31s
joule-moq-remote host agent / joule-moq-remote, every target (macos) (push) Successful in 1m22s
wai-quantum-landscape-fpga reference design / does this change touch it (push) Successful in 34s
wai-quantum variational and algorithm library / does this change touch it (push) Successful in 16s
wai-quantum for JavaScript / does this change touch it (push) Successful in 39s
wai-quantum verdicts and repairs / does this change touch it (push) Successful in 18s
wai-quantum pulse and dynamics / does this change touch it (push) Successful in 29s
wai-quantum views in agent hosts / does this change touch it (push) Successful in 20s
wai-ops integer operators / wasm32 under Node (push) Successful in 47s
wai-sink-android native sink library / does this change touch it (push) Successful in 19s
WAI Studio / does this change touch it (push) Successful in 16s
wai-quantum error correction and mitigation / does this change touch it (push) Successful in 46s
wai-key-proxy / proxy · linux (push) Successful in 1m34s
wai-quantum extension points / does this change touch it (push) Successful in 50s
energy meters on real hardware / sink decode table · per-task energy and the GPU rail on macOS (push) Successful in 2m31s
wai-quantum for Python / does this change touch it (push) Successful in 51s
wai-ops integer operators / wasm32-wasip2 (wasmtime) (push) Successful in 1m7s
wai-sink-swift native sink package / does this change touch it (push) Successful in 28s
wai-quantum studio and desktop / does this change touch it (push) Successful in 49s
wai-quantum service / does this change touch it (push) Successful in 51s
wai-ledger service / service · macos (push) Successful in 1m22s
wai-vector vector graphics / does this change touch it (push) Successful in 27s
wai-ops integer operators / linux-x86_64 (push) Successful in 1m31s
wai-ops integer operators / macos-arm64 (push) Successful in 1m34s
wai-quantum wasmQ / profile, engines, reference modules, adversarial, vectors · macos (push) Successful in 2m55s
wai-ledger service / service · linux (push) Successful in 2m49s
wai-fleet service / service · macos (push) Successful in 1m2s
wai-audit collector and player integration / collector, player integration and the browser end to end · macos (push) Successful in 2m7s
wai-quantum docs, course and locales / the Studio's words in every locale · linux (push) Successful in 13s
wai cross-architecture byte-equality / macos-arm64 (reference) (push) Successful in 40s
wai-quantum command line / command line · macos (push) Successful in 1m57s
wai-quantum wasmQ / interpreter and vectors under wasm32-wasip2 (wasmtime) (push) Successful in 3m48s
joule-code conformance gate / Build + round-trip C1-C4 vectors (push) Successful in 5m23s
energy meters on real hardware / sink decode table · RAPL on jetson-hub (NVML surveyed) (push) Successful in 4m5s
wai-quantum contract / the policy is linked, and the deprecations page reads (push) Successful in 6s
wai-quantum wasmQ / profile, engines, reference modules, adversarial, vectors · linux (push) Successful in 5m2s
wai-quantum pulse and dynamics / the same bits · macos (push) Successful in 2m7s
wai formal verification (integer core) / kani (stage) (push) Successful in 4m55s
smart-byte conformance gate / Validate conformance JSON files (push) Successful in 8s
wai-quantum editors / editors · macos (push) Successful in 3m5s
smart-byte conformance gate / Second implementation reproduces every vector (push) Successful in 9s
wai-quantum energy-landscape jobs / the same bits · macos (push) Successful in 6m37s
smart-byte conformance gate / VERSIONS.md and README.md must exist (push) Successful in 9s
wai-audit collector and player integration / collector · linux (push) Successful in 2m5s
wai-int-module WAISM module of record / the module of record in Chromium (push) Successful in 18s
wai-quantum docs, course and locales / the course and the command line's languages · linux (push) Successful in 5m7s
wai-quantum service / service energy · linux packages (push) Successful in 2m45s
wai cross-architecture byte-equality / linux-x86_64 (push) Successful in 53s
WAI breaking changes and the conformance runner / WAI breaking and conform · their tests, and the independent verifiers through wai conform · linux (push) Successful in 8m52s
wai formal verification (integer core) / kani (integer-core) (push) Successful in 7m27s
wai-quantum energy-landscape jobs / native against WebAssembly, over many seeds (push) Successful in 9m26s
wai-app and Create / wai-app · Create, browser end-to-end (macos) (push) Successful in 9m29s
wai-quantum energy-landscape jobs / reader, kernels, answers and the stated result · linux, release (push) Successful in 10m15s
wai-fleet service / service · linux (push) Successful in 3m19s
WAI operation catalogue / the catalogue and every door · linux (push) Successful in 10m55s
wai-quantum for Python / python · macos (push) Successful in 4m45s
wai-quantum OpenQASM reader / corpus under wasm32-wasip2 (wasmtime) (push) Successful in 55s
wai-quantum contract / API compatibility · linux (push) Successful in 8m0s
WAI Studio / Studio in Chromium and Firefox · macos (push) Successful in 7m51s
wai-quantum studio and desktop / desktop app · macos (push) Successful in 6m55s
wai-quantum other formats / the set under wasm32-wasip2 (wasmtime) (push) Successful in 3m4s
wai-quantum OpenQASM reader / reader and corpus · linux (push) Successful in 2m21s
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (push) Successful in 8m48s
wai formal verification (integer core) / kani (arith) (push) Successful in 11m38s
wai-quantum other formats / readers, writers and the set · linux (push) Successful in 4m17s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux, release (push) Successful in 2m16s
wai-vector vector graphics / macos-arm64 (push) Successful in 2m49s
wai-quantum verdicts and repairs / the intent set and the verdict under wasm32-wasip2 (wasmtime) (push) Successful in 1m44s
wai-quantum editors / editors · linux (push) Successful in 6m6s
wai-quantum contract / schemas and the committed tool lists · linux (push) Successful in 11m2s
wai-quantum service / service · macos (push) Successful in 5m56s
wai-quantum pulse and dynamics / reader, simulator and pulse jobs · linux, release (push) Successful in 2m45s
wai-int-module WAISM module of record / linux · both checkers, wasmtime (Cranelift, Winch), Wasmi and Node (push) Successful in 8m56s
wai-quantum pulse and dynamics / reader, simulator and pulse jobs under wasm32-wasip2 (wasmtime) (push) Successful in 2m2s
wai-quantum verdicts and repairs / verdicts, repairs and the intent set · linux (push) Successful in 3m44s
wai-quantum for JavaScript / javascript · linux (push) Successful in 4m41s
WAI Studio / the catalogue's actions, the unit tests and the core · linux (push) Successful in 1m30s
wai-quantum energy-landscape jobs / the module under wasm32-wasip2 (wasmtime) (push) Successful in 16m38s
joule-code conformance gate / joule-moq-relay, every target (push) Failing after 5m40s
wai-quantum extension points / the registry under wasm32-wasip2 (wasmtime) (push) Failing after 1m32s
wai-quantum resource estimation / estimation and calibration · linux, release (push) Successful in 9m28s
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (push) Successful in 11m46s
wai-quantum views in agent hosts / views · the page and its engine (push) Successful in 4m41s
wai-vector vector graphics / wasm32-wasip2 (wasmtime) (push) Successful in 1m11s
joule-code conformance gate / joule-moq-ingest, every target (push) Successful in 7m3s
joule-moq-remote host agent / joule-moq-remote, every target (linux-arm64) (push) Successful in 1m51s
wai-quantum error correction and mitigation / codes, decoders, texts and mitigation · linux, release (push) Successful in 3m47s
wai-vector vector graphics / wasm32 under Node (push) Successful in 39s
joule-moq-web browser client / joule-moq-web · browser end-to-end (macos) (push) Successful in 17m57s
wai formal verification (integer core) / kani (plan) (push) Successful in 18m32s
wai-vector vector graphics / fuzz, peak allocation, comparison count (push) Successful in 19s
wai-quantum extension points / the registry and the example · linux (push) Failing after 4m38s
wai-vector vector graphics / linux-x86_64 (push) Successful in 3m4s
wai-ops integer operators / linux-aarch64 (push) Successful in 2m3s
wai-det-jpegai WAISM float-level module of record / linux · both checkers, F1, F2 on wasmtime (Cranelift, Winch, Pulley) and Wasmi, the planted faults (push) Successful in 20m30s
wai-quantum views in agent hosts / views · a scripted host (push) Successful in 7m14s
wai-quantum service / service · linux (push) Failing after 5m10s
wai cross-architecture byte-equality / linux-aarch64 (push) Successful in 52s
wai-vector vector graphics / wasm32 in three browser engines (push) Successful in 2m57s
wai-vector vector graphics / independent checker (Python) (push) Successful in 3m15s
wai-quantum-landscape-fpga reference design / the board's code on the board's processor's architecture · linux-arm64, release (push) Successful in 1m32s
wai-quantum for Python / python · linux (push) Successful in 8m18s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (push) Successful in 10m50s
wai formal verification (integer core) / kani (sound) (push) Successful in 24m18s
wai-int-module WAISM module of record / linux-arm64 · both checkers, wasmtime (Cranelift, Winch), Wasmi and Node (push) Successful in 6m33s
wai release binaries build on Windows / the seven release binaries · windows (push) Failing after 25m52s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (push) Successful in 2m56s
joule-moq-room room service / joule-moq-room, every target (push) Successful in 9m40s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (push) Successful in 2m55s
wai-quantum studio and desktop / studio · browser (push) Successful in 11m54s
wai cross-architecture byte-equality / windows-x86_64 (push) Successful in 2m40s
wai-quantum extension points / the registry and the example · linux-arm64 (push) Failing after 2m58s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (push) Successful in 4m25s
wai-quantum studio and desktop / desktop app · linux (push) Successful in 14m4s
wai formal verification (integer core) / kani (isqrt512) (push) Successful in 30m23s
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (push) Successful in 14m8s
WAI Studio / Studio in WebKit · linux (push) Successful in 17m32s
wai-vector vector graphics / linux-aarch64 (push) Successful in 7m20s
wai-quantum command line / command line · linux (push) Successful in 30m0s
wai formal verification (integer core) / kani (stage-long) (push) Successful in 35m31s
wai-quantum-landscape-fpga reference design / the member against the model of the logic, and the logic against the model · linux, release (push) Successful in 27m59s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (push) Successful in 38m42s
wai-det-jpegai WAISM float-level module of record / linux-arm64 · both checkers, F1, F2 on wasmtime (Cranelift, Winch, Pulley) and Wasmi, the planted faults (push) Successful in 24m21s
wai-quantum studio and desktop / desktop app · windows (push) Successful in 14m27s
wai formal verification (integer core) / kani (rans64-t2) (push) Successful in 13m24s
ci: a push to main takes a concurrency group of its own, so no later push cancels its run
Every workflow grouped its runs per ref with cancel-in-progress: true, and
15 of them called that safe on main because main advanced by merge commits.
It no longer does: work lands as direct commits, several an hour, and
Forgejo hands runners the oldest queued job first, so each cancelled run
was replaced at the back of the queue. With the linux-arm64 queue hours
deep, a workflow main touched more often than that never reached the
front. In the day to 2026-11-10 01:11Z, 578 of the 810 runs main's pushes
started were cancelled; after 13:58Z on 11-09 no run of joule-moq-room or
joule-moq-remote on main finished (31 of joule-moq-room's next 32 were
cancelled, the 32nd waiting), which has held the wai 0.6.0 release check
since 00:49Z.

Every workflow now groups by
  ${{ github.workflow }}-${{ github.event_name == 'push' && github.sha || github.ref }}
with cancel-in-progress: true. A pull request's newer push still
supersedes its older run; a push to main (or a tag) has a group of its own
that no later push shares; a scheduled run keeps its branch's group, which
no push shares now, so only the next scheduled run supersedes it.
wai-breaking, wai-key-keychain, wai-key-windows and
wai-release-windows-build already grouped a push by its commit; the last
gains the explicit cancel-in-progress: true.

Not cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}. Forgejo
16.0.6 does evaluate the expression (EvaluateWorkflowConcurrency in the
runner's jobparser), but false with a group is Forgejo's QueueBehind mode
(ConfigureActionRunConcurrency, services/actions/workflows.go): a run is
not offered to a runner while another run of its group is running or an
older one is pending (getConcurrencyCondition, models/actions/task.go),
and nothing cancels a waiting one. That is GitHub's false without its
one-pending limit: main's runs of a workflow would go one at a time, each
through the whole label queue, and every push would add one more.

What bounds the queue: main holds one run per push that touches a
workflow, and Forgejo cancels a job left waiting 24 hours
(cancel_abandoned_jobs, ABANDONED_JOB_TIMEOUT; the forge keeps the
default), so a runner host that is down cannot keep more than a day's
pushes queued. Estimated from each workflow's last finished main run, a
day of main's pushes with every run kept needs about 950 linux-arm64 and
2700 macos slot-minutes, against at least 6 linux-arm64 slots (8640 a
day) and 3 macos (4320).

scripts/check-workflow-concurrency.sh now requires this block: it still
refuses a missing block and a group that does not vary by ref, and now
refuses a group per ref alone and cancel-in-progress other than true. Its
self-test first checks that the untouched tree passes, then that each
broken form fails with its own error.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-09 20:46:02 -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.event_name == 'push' && github.sha || 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; }