| Filename | Latest commit message | Latest commit date |
|---|---|---|
|
All checks were successful
energy meters on real hardware / RAPL and NVML on jetson-hub (pull_request) Successful in 38s
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 16s
spec citations resolve / Code cites no section its SPEC lacks (pull_request) Successful in 6s
standards workspaces build + test / arl-rs (pull_request) Successful in 1m16s
wai-quantum WebGPU member / member · discrete GPU, Vulkan (jetson-hub) (pull_request) Successful in 11m7s
standards workspaces build + test / eoc-rs (pull_request) Successful in 2m19s
standards workspaces build + test / jcp-rs (pull_request) Successful in 1m37s
standards workspaces build + test / joule-ui-rs (pull_request) Successful in 1m16s
standards workspaces build + test / joulehook-rs (pull_request) Successful in 1m13s
standards workspaces build + test / proof-rs (pull_request) Successful in 1m29s
standards workspaces build + test / sense-rs (pull_request) Successful in 1m27s
standards workspaces build + test / sandbox-rs (pull_request) Successful in 2m39s
wai cross-architecture byte-equality / linux-x86_64 (pull_request) Successful in 39s
standards workspaces build + test / smart-byte-rs (pull_request) Successful in 4m24s
WAI conformance / quantum core and corpus under wasm32-wasip2 (wasmtime) (pull_request) Successful in 2m29s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 15s
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 9m59s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 11s
WAI conformance / cross-arch byte-equality · linux (pull_request) Successful in 30s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 56s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 2m11s
wai formal verification (integer core) / every harness in one shard (pull_request) Successful in 11s
standards workspaces build + test / jouledesk-rs (pull_request) Successful in 12m49s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 17m52s
wai formal verification (integer core) / kani (arith) (pull_request) Successful in 10m19s
standards workspaces build + test / macOS energy backends (pull_request) Successful in 14m47s
wai cross-architecture byte-equality / macos-arm64 (reference) (pull_request) Successful in 31s
wai formal verification (integer core) / kani (plan) (pull_request) Successful in 7m41s
wai formal verification (integer core) / kani (sound) (pull_request) Successful in 11m5s
wai formal verification (integer core) / kani (stage) (pull_request) Successful in 3m4s
WAI conformance / cargo-class corpora · macos (pull_request) Successful in 30m55s
WAI conformance / cross-arch byte-equality · macos (pull_request) Successful in 51s
WAI conformance / codec wrappers · fuzz smoke, text decode limits, C entry points, provenance, the semantic path (pull_request) Successful in 2m30s
wai formal verification (integer core) / kani (stage-long) (pull_request) Successful in 23m29s
wai formal verification (integer core) / kani (isqrt512) (pull_request) Successful in 52m3s
wai formal verification (integer core) / kani (integer-core) (pull_request) Successful in 6m1s
WAI HTTP delivery / WAI HTTP · does this change touch it (pull_request) Successful in 5s
WAI HTTP delivery / HTTP corpus · falsify mutations 0/3 (pull_request) Has been skipped
WAI HTTP delivery / HTTP corpus · falsify mutations 1/3 (pull_request) Has been skipped
WAI HTTP delivery / HTTP corpus · falsify mutations 2/3 (pull_request) Has been skipped
WAI HTTP delivery / HTTP corpus · falsify patches 0/3 (pull_request) Has been skipped
WAI HTTP delivery / HTTP corpus · falsify patches 1/3 (pull_request) Has been skipped
WAI HTTP delivery / HTTP corpus · falsify patches 2/3 (pull_request) Has been skipped
WAI HTTP delivery / HTTP corpus · every patch and mutation in exactly one shard (pull_request) Has been skipped
WAI HTTP delivery / HTTP corpus · verified both ways, and the differential (pull_request) Has been skipped
WAI HTTP delivery / cache rules · controls and labelled caches (pull_request) Has been skipped
WAI energy receipts / energy receipts · macos (pull_request) Successful in 12m43s
WAI neural sink gates / model-free refusals of the neural sink (pull_request) Successful in 1m28s
WAI JPEG-AI whole decode (pinned inputs, required) / fetch pinned JPEG-AI inputs → whole decode + pixel hash, required (pull_request) Successful in 1m32s
wai-ops differential (nightly) / differential · debug (pull_request) Successful in 2m35s
wai-ops differential (nightly) / differential · release (pull_request) Successful in 3m1s
wai-ops integer operators / linux-x86_64 (pull_request) Successful in 53s
wai-ops integer operators / wasm32-wasip2 (wasmtime) (pull_request) Successful in 29s
wai-ops integer operators / independent checker (Python) (pull_request) Successful in 13s
wai-pack / wai-pack · does this change touch it (pull_request) Successful in 5s
wai-ops integer operators / wasm32 under Node (pull_request) Successful in 24s
wai-pack / wai-pack · linux (pull_request) Has been skipped
wai-pack / wai-pack · linux-arm64 (pull_request) Has been skipped
wai-pack / wai-pack · macos (pull_request) Has been skipped
wai-pack / wai-pack · independent verifier (Python) (pull_request) Has been skipped
wai-pack / wai-pack · the floor through a media prober (pull_request) Has been skipped
wai-pack / wai-pack · dependency licences (pull_request) Has been skipped
wai-quantum CUDA member / member · CUDA absent (linux) (pull_request) Successful in 23s
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Successful in 2m4s
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness · MSRV (pull_request) Successful in 3m3s
wai-web reach builds / wai-web reach · does this change touch it (pull_request) Successful in 6s
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Has been skipped
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Has been skipped
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 3m9s
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Successful in 5m24s
no-vanity-metrics / Scan committed Markdown for vanity metrics (pull_request) Successful in 11s
no-vanity-metrics / WAI public text names no comparison (pull_request) Successful in 6s
no-vanity-metrics / WAI public text names no company or product (pull_request) Successful in 5s
no-vanity-metrics / No new orphan source files (pull_request) Successful in 6s
lockfiles / every Cargo.lock is current (pull_request) Successful in 38s
standards workspaces build + test / jouleclaw-rs (pull_request) Successful in 3m48s
standards workspaces build + test / aac-rs (pull_request) Successful in 4m0s
wai formal verification (integer core) / kani (rans64-t2) (pull_request) Successful in 29m7s
standards workspaces build + test / joulecontract-rs (pull_request) Successful in 1m8s
wai-ops integer operators / macos-arm64 (pull_request) Successful in 1m5s
standards workspaces build + test / joule-code-rs (pull_request) Successful in 1m39s
standards workspaces build + test / map-rs (pull_request) Successful in 1m6s
standards workspaces build + test / mesh-rs (pull_request) Successful in 1m7s
tests in CI / every test file is run by a job or listed with its reason (pull_request) Successful in 5s
wai cross-architecture byte-equality / linux-aarch64 (pull_request) Successful in 36s
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Successful in 4m17s
standards workspaces build + test / openpay (pull_request) Successful in 4m38s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 32s
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Successful in 3m7s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 3m0s
wai-ops integer operators / linux-aarch64 (pull_request) Successful in 1m22s
WAI section references / cited sections exist (pull_request) Successful in 26s
workflow hygiene / every workflow supersedes its own queue (pull_request) Successful in 10s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 12m33s
wai-quantum WebGPU member / member · DX12 and Vulkan (cbio-windows) (pull_request) Successful in 13m41s
The windows runner is back (cbio-device-0000), so the member the workflow had only sketched in a comment is now a job. It replaces that comment. One job, not one per backend. The member test enumerates every adapter wgpu finds in the one process, and this host exposes five: both of its GPUs through both backends, plus Microsoft's software adapter through DX12. gpu-dx12-10de discrete NVIDIA, DX12 gpu-dx12-8086 integrated Intel, DX12 gpu-vulkan-10de discrete NVIDIA, Vulkan gpu-vulkan-8086 integrated Intel, Vulkan swgpu-dx12-1414 WARP, class Cpu The DX12 keys are the first coverage of the WGSL -> HLSL path (naga): every other member reaches its adapter through Metal or Vulkan. Run on the host before this was written, at this tree: 14 of 14 member tests pass; the adapters found are exactly the declared five; 40 bit-exact certificates, which is five adapters by four pinned corpus digests by both implementations (the per-gate kernel and tile runs); 7 of 7 shader mutants and 3 of 3 tile mutants killed on every one of the five; and the conformance corpus verifies through the member, statevector-equivalence holding, every reject file refused as listed. Two host facts the steps have to carry, both of which would otherwise fail in a way that looks like a code defect: `bash` here resolves to the WindowsApps WSL stub, and the machine PATH holds Git\cmd (git.exe) but not Git\bin (bash.exe). Under WSL the steps would reach none of the Windows GPU drivers, so Git Bash is put on PATH first and the next step refuses to continue unless `uname -s` reports MINGW or MSYS. The runner writes an unsigned .ps1 per step, so the process execution policy is set to Bypass; pwsh rather than Windows PowerShell, whose 5.1 parser rejects the PS7 syntax this repo's scripts use. Not a required status, per the note it replaces. Co-Authored-By: Claude Opus 5 <[email protected]> |
||
| .. | ||
| workflows | ||