| Filename | Latest commit message | Latest commit date |
|---|---|---|
5e6792fd3b
Some checks failed
standards workspaces build + test / jouleclaw-rs (pull_request) Failing after 4m54s
no-vanity-metrics / Scan committed Markdown for vanity metrics (pull_request) Successful in 4s
no-vanity-metrics / WAI public text names no comparison (pull_request) Successful in 4s
no-vanity-metrics / WAI public text names no company or product (pull_request) Successful in 6s
standards workspaces build + test / aac-rs (pull_request) Successful in 3m6s
standards workspaces build + test / arl-rs (pull_request) Successful in 1m22s
standards workspaces build + test / joule-code-rs (pull_request) Successful in 1m41s
standards workspaces build + test / eoc-rs (pull_request) Successful in 2m7s
standards workspaces build + test / joulecontract-rs (pull_request) Successful in 1m3s
standards workspaces build + test / map-rs (pull_request) Successful in 51s
standards workspaces build + test / joule-ui-rs (pull_request) Successful in 1m10s
standards workspaces build + test / jcp-rs (pull_request) Successful in 1m32s
standards workspaces build + test / mesh-rs (pull_request) Successful in 44s
standards workspaces build + test / proof-rs (pull_request) Successful in 1m18s
standards workspaces build + test / joulehook-rs (pull_request) Successful in 1m20s
standards workspaces build + test / sense-rs (pull_request) Successful in 1m13s
standards workspaces build + test / sandbox-rs (pull_request) Successful in 2m23s
standards workspaces build + test / openpay (pull_request) Successful in 3m33s
standards workspaces build + test / smart-byte-rs (pull_request) Successful in 4m3s
WAI conformance / quantum core and corpus under wasm32-wasip2 (wasmtime) (pull_request) Successful in 1m31s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 14s
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 8m24s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 8s
WAI conformance / cross-arch byte-equality · linux (pull_request) Successful in 24s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 49s
wai formal verification (integer core) / every harness in one shard (pull_request) Successful in 13s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 15m31s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 55s
wai-ops integer operators / linux-aarch64 (pull_request) Successful in 1m39s
wai formal verification (integer core) / kani (arith) (pull_request) Successful in 10m16s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 16m4s
wai formal verification (integer core) / kani (plan) (pull_request) Successful in 5m46s
wai formal verification (integer core) / kani (sound) (pull_request) Successful in 11m2s
wai formal verification (integer core) / kani (stage) (pull_request) Successful in 3m25s
wai formal verification (integer core) / kani (stage-long) (pull_request) Successful in 21m33s
wai formal verification (integer core) / kani (isqrt512) (pull_request) Successful in 44m49s
WAI JPEG-AI whole decode (pinned inputs, required) / fetch pinned JPEG-AI inputs → whole decode + pixel hash, required (pull_request) Successful in 1m24s
wai-ops integer operators / linux-x86_64 (pull_request) Successful in 54s
wai formal verification (integer core) / kani (integer-core) (pull_request) Successful in 4m57s
wai-ops integer operators / wasm32 under Node (pull_request) Successful in 23s
wai-ops integer operators / independent checker (Python) (pull_request) Successful in 12s
wai-ops integer operators / wasm32-wasip2 (wasmtime) (pull_request) Successful in 39s
workflow hygiene / every workflow supersedes its own queue (pull_request) Successful in 5s
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Successful in 4m41s
standards workspaces build + test / jouledesk-rs (pull_request) Successful in 2m31s
standards workspaces build + test / macOS energy backends (pull_request) Successful in 5m52s
WAI conformance / cargo-class corpora · macos (pull_request) Successful in 22m37s
WAI conformance / cross-arch byte-equality · macos (pull_request) Successful in 51s
wai formal verification (integer core) / kani (rans64-t2) (pull_request) Successful in 1h2m1s
wai-ops integer operators / macos-arm64 (pull_request) Successful in 13m4s
k26 peaks at about 28 GiB of resident memory (688 s, measured); the linux runner has 15 GiB shared by two jobs and CBMC ran out of memory there. It gets a shard of its own on the macos runner. The Kani install step no longer rewrites a host's live install, and check_shards reads a matrix line that names its runner and refuses one it cannot read. Co-Authored-By: Claude Opus 5.5 <[email protected]> |
||
| .. | ||
| src | ||
| Cargo.lock | ||
| Cargo.toml | ||
| check_shards.py | ||