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
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]>
81 lines
2.8 KiB
YAML
81 lines
2.8 KiB
YAML
name: wai-quantum for JavaScript
|
|
|
|
# The npm package @transaction-science/wai-quantum (wai/wai-quantum-js): the job
|
|
# service's engine for WebAssembly (wai-web, feature quantum_engine) with its
|
|
# bindings. ci/check.sh builds and packs it; the tarball, unpacked, holds the
|
|
# package's allow-list and nothing else; the smoke test runs against what was
|
|
# unpacked (a job run with a fresh key and its receipt verified, a forged result
|
|
# refused, a program linted and drawn, a refusal with its diagnostic code); and the
|
|
# tarball installed into an empty app runs the README's Node example by name.
|
|
# Nothing is published.
|
|
|
|
concurrency:
|
|
group: ${{ github.workflow }}-${{ github.ref }}
|
|
cancel-in-progress: true
|
|
|
|
on:
|
|
push:
|
|
branches: [main]
|
|
paths:
|
|
- 'wai/wai-quantum-js/**'
|
|
- 'wai/wai-web/**'
|
|
- 'wai/wai-quantum/**'
|
|
- 'wai/wai-rs/**'
|
|
- 'rust-toolchain.toml'
|
|
- '.github/workflows/wai-quantum-js.yml'
|
|
pull_request:
|
|
paths:
|
|
- 'wai/wai-quantum-js/**'
|
|
- 'wai/wai-web/**'
|
|
- 'wai/wai-quantum/**'
|
|
- 'wai/wai-rs/**'
|
|
- 'rust-toolchain.toml'
|
|
- '.github/workflows/wai-quantum-js.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-quantum-js.yml \
|
|
"${{ github.event.pull_request.base.sha }}" \
|
|
"${{ github.event.pull_request.head.sha }}")
|
|
echo "this change touches the npm package: $r"
|
|
echo "run=$r" >> "$GITHUB_OUTPUT"
|
|
|
|
js-linux:
|
|
name: javascript · 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 with the wasm32 target
|
|
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
|
|
rustup default 1.99.1
|
|
rustup target add wasm32-unknown-unknown
|
|
echo "$HOME/.cargo/bin" >> "$GITHUB_PATH"
|
|
# Pinned to the wasm-bindgen version in wai-web/Cargo.lock; build.sh refuses another.
|
|
- name: wasm-bindgen CLI 0.2.127
|
|
shell: bash
|
|
run: cargo install --locked wasm-bindgen-cli --version 0.2.127
|
|
- uses: actions/setup-node@v4
|
|
with:
|
|
node-version: '22'
|
|
- name: Build, pack, unpack, smoke-test and install the package
|
|
shell: bash
|
|
run: bash wai/wai-quantum-js/ci/check.sh "$RUNNER_TEMP/npm"
|