open-standards/.github/workflows/wai-audit.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

136 lines
6.1 KiB
YAML
Raw Permalink Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

name: wai-audit collector and player integration
# WAI's stream audit kit (wai/wai-audit, extensions/stream-audit.md): the collector's tests (every
# session of the corpus live-conformance/audit posted gets the corpus's outcome, and the stored
# sessions report exactly the corpus's served reports, byte for byte and signature; CORS, body
# limits, per-client limits and CMCD intake), clippy with warnings as errors, on Linux and on the
# macOS runner; and on the macOS runner, the host with the browser installed, the player
# integration's unit tests against the corpus and the browser end to end (e2e/run.sh): an HLS
# stream made with the host's media tool, served from another origin, played through an
# open-source web player twice (its loader adapter, and the network tap), each session verified,
# stored and reported by a collector on loopback, and the report recomputed from the bundles.
# The packages come from e2e/package-lock.json with install scripts off. Nothing listens beyond
# loopback.
#
# 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-audit/**'
- 'wai/wai-rs/**'
- 'wai/wai-quantum/**'
- 'wai/wai-ops/**'
- 'wai/live-conformance/audit/**'
- 'wai/live-conformance/native-sink/**'
- 'wai/extensions/stream-audit.md'
- 'rust-toolchain.toml'
- '.github/workflows/wai-audit.yml'
pull_request:
paths:
- 'wai/wai-audit/**'
- 'wai/wai-rs/**'
- 'wai/wai-quantum/**'
- 'wai/wai-ops/**'
- 'wai/live-conformance/audit/**'
- 'wai/live-conformance/native-sink/**'
- 'wai/extensions/stream-audit.md'
- 'rust-toolchain.toml'
- '.github/workflows/wai-audit.yml'
jobs:
relevant:
name: 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-audit.yml \
"${{ github.event.pull_request.base.sha }}" \
"${{ github.event.pull_request.head.sha }}")
echo "this change touches wai-audit: $r"
echo "run=$r" >> "$GITHUB_OUTPUT"
collector-linux:
name: collector · 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-audit
run: |
set -euo pipefail
cargo test --locked --release 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; }
cargo clippy --locked --release --all-targets -- -D warnings
kit-macos:
name: collector, player integration and the browser end to end · macos
needs: relevant
if: needs.relevant.outputs.run == 'true'
runs-on: macos
timeout-minutes: 60
steps:
- uses: actions/checkout@v5
# launchd's PATH omits cargo and the host's packages (the media tool, node) on the macOS
# host runner.
- name: Put cargo and the host's tools on PATH
shell: bash
run: |
echo "$HOME/.cargo/bin" >> "$GITHUB_PATH"
echo "/opt/homebrew/bin" >> "$GITHUB_PATH"
- name: The collector's tests
shell: bash
working-directory: wai/wai-audit
run: |
set -euo pipefail
nice -n 10 cargo test --locked --release 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; }
- name: The player integration and the browser end to end
shell: bash
env:
BROWSER_BIN: /Applications/Google Chrome.app/Contents/MacOS/Google Chrome # allow-name: the runner host's installed browser, by its path
AUDIT_E2E_OUT: ${{ runner.temp }}/wai-audit-e2e
run: |
set -euo pipefail
test -x "$BROWSER_BIN" || { echo "::error::this runner has no browser at $BROWSER_BIN"; exit 1; }
command -v ffmpeg >/dev/null || { echo "::error::this runner has no media tool to make the stream with"; exit 1; }
nice -n 10 bash wai/wai-audit/e2e/run.sh 2>&1 | tee "$RUNNER_TEMP/audit-e2e.log"
grep -qE '^ℹ pass [1-9][0-9]*$' "$RUNNER_TEMP/audit-e2e.log" && ! grep -qE '^ℹ fail [1-9]' "$RUNNER_TEMP/audit-e2e.log" \
|| { echo "::error::the player integration's unit tests did not pass"; exit 1; }
grep -q '^all checks ok$' "$RUNNER_TEMP/audit-e2e.log" || { echo "::error::the browser end to end did not pass"; exit 1; }
if grep -q '^FAIL' "$RUNNER_TEMP/audit-e2e.log"; then echo "::error::a check failed"; exit 1; fi
# The page's integration and the native sink are two implementations of stream-audit's
# player: the page replays the native sink corpus's page-parity case call for call and
# signs the same bundle byte for byte (extensions/native-sink.md §10).
- name: The page replays the native sink's corpus
shell: bash
run: |
set -euo pipefail
node --test wai/wai-audit/web/native-sink.test.mjs 2>&1 | tee "$RUNNER_TEMP/native-parity.log"
grep -qE '^ℹ pass [1-9][0-9]*$' "$RUNNER_TEMP/native-parity.log" && ! grep -qE '^ℹ fail [1-9]' "$RUNNER_TEMP/native-parity.log" \
|| { echo "::error::the page did not sign the native sink's bundle"; exit 1; }